package elpi

  1. Overview
  2. Docs

LambdaProlog built-in data types

val int : int CData.cdata
val is_int : CData.t -> bool
val to_int : CData.t -> int
val of_int : int -> term
val float : float CData.cdata
val is_float : CData.t -> bool
val to_float : CData.t -> float
val of_float : float -> term
val string : string CData.cdata
val is_string : CData.t -> bool
val to_string : CData.t -> string
val of_string : string -> term
val is_loc : CData.t -> bool
val to_loc : CData.t -> Ast.Loc.t
val of_loc : Ast.Loc.t -> term
OCaml

Innovation. Community. Security.