elpi

ELPI - Embeddable λProlog Interpreter
Library elpi
Module Elpi . API . RawData . Constants
val declare_global_symbol : string -> constant
val show : constant -> string
val eqc : builtin
val orc : constant
val andc : constant
val rimplc : constant
val pic : constant
val sigmac : constant
val implc : constant
val cutc : builtin
val ctypec : constant
val spillc : constant
module Map : Map.S with type key = constant
module Set : Set.S with type elt = constant