package elpi

  1. Overview
  2. Docs
val declare_global_symbol : string -> constant
val show : constant -> string
val eqc : constant
val orc : constant
val andc : constant
val rimplc : constant
val pic : constant
val sigmac : constant
val implc : constant
val cutc : constant
val ctypec : constant
val spillc : constant
module Map : Map.S with type key = constant
module Set : Set.S with type elt = constant