lambdapi.pure
Pure.Command
Abstract representation of a command (top-level 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