elpi.runtime
Term.C
elpi
elpi.compiler
elpi.lexer_config
elpi.parser
elpi.trace
elpi.util
trace_ppx
trace_ppx_runtime
val int : int Elpi_util.Util.CData.cdata
val in_int : int -> Elpi_util.Util.CData.t
val out_int : Elpi_util.Util.CData.t -> int
val is_int : Elpi_util.Util.CData.t -> bool
val to_int : Elpi_util.Util.CData.t -> int
val of_int : int -> term
val float : float Elpi_util.Util.CData.cdata
val in_float : float -> Elpi_util.Util.CData.t
val out_float : Elpi_util.Util.CData.t -> float
val is_float : Elpi_util.Util.CData.t -> bool
val to_float : Elpi_util.Util.CData.t -> float
val of_float : float -> term
val string : string Elpi_util.Util.CData.cdata
val in_string : string -> Elpi_util.Util.CData.t
val out_string : Elpi_util.Util.CData.t -> string
val is_string : Elpi_util.Util.CData.t -> bool
val to_string : Elpi_util.Util.CData.t -> string
val of_string : string -> term
val loc : Elpi_parser.Ast.Loc.t Elpi_util.Util.CData.cdata
val is_loc : Elpi_util.Util.CData.t -> bool
val to_loc : Elpi_util.Util.CData.t -> Elpi_parser.Ast.Loc.t
val of_loc : Elpi_parser.Ast.Loc.t -> term