package lambdapi

  1. Overview
  2. Docs

Abstract representation of a tactic (proof item).

type t
val equal : t -> t -> bool
val get_pos : t -> Common.Pos.popt
val print : t Lplib.Base.pp
OCaml

Innovation. Community. Security.