package elpi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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