elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser
Module Elpi_parser . Ast . Func
type t
val compare : t -> t -> int
val pp : Format.formatter -> t -> unit
val show : t -> string
val equal : t -> t -> bool
val truef : t
val andf : t
val orf : t
val implf : t
val rimplf : t
val cutf : t
val pif : t
val sigmaf : t
val eqf : t
val isf : t
val nilf : t
val consf : t
val arrowf : t
val sequentf : t
val ctypef : t
val dummyname : t
val spillf : t
val from_string : string -> t
module Map : Elpi_util.Util.Map.S with type key = t