LambdaProlog built-in global constants

val from_string : string -> term
val from_stringc : string -> constant
val show : constant -> string
val eqc : constant
val orc : constant
val andc : constant
val andc2 : constant
val rimplc : constant
val pic : constant
val sigmac : constant
val implc : constant
val cutc : constant
val ctypec : constant
module Map : Map.S with type key = constant
module Set : Set.S with type elt = constant