lambdapi.pure
Pure.Tactic
Abstract representation of a tactic (proof item).
lambdapi.common
lambdapi.core
lambdapi.export
lambdapi.handle
lambdapi.lplib
lambdapi.lsp
lambdapi.parsing
lambdapi.tool
type t
val equal : t -> t -> bool
val get_pos : t -> Common.Pos.popt
val print : t Lplib.Base.pp