elpi.util
Util.Constants
elpi
elpi.compiler
elpi.lexer_config
elpi.parser
elpi.runtime
elpi.trace
trace_ppx
trace_ppx_runtime
type t = constant
module Map : Map.S with type key = constant
module Set : Set.S with type elt = constant
val pp : Format.formatter -> t -> unit
val show : t -> string
val compare : t -> t -> int