C (u.c73734534e52e3c7e3a6ab4ddda12c49.elpi.3.4.5.doc.elpi.runtime.Elpi

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