package elpi

  1. Overview
  2. Docs
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 : Stdlib.Map.S with type key = constant
module Set : Stdlib.Set.S with type elt = constant
OCaml

Innovation. Community. Security.