Module 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 implbangf : t
val rimplf : t
val cutf : t
val pif : t
val sigmaf : t
val eqf : t
val pmf : t
val isf : t
val asf : t
val nilf : t
val consf : t
val arrowf : t
val sequentf : t
val ctypef : t
val propf : t
val typef : t
val mainf : t
val declare_constraintf : t
val findall_solutionsf : t
val dummyname : t
val spillf : t
val is_uvar_name : t -> bool
val from_string : string -> t
module Map : Elpi_util.Util.Map.S with type key = t
module Set : Elpi_util.Util.Set.S with type elt = t