API.RawOpaqueData
Low level module for OpaqueData
type 'a declaration = 'a OpaqueData.declaration = {
name : name; |
doc : doc; |
pp : Stdlib.Format.formatter -> 'a -> unit; |
compare : 'a -> 'a -> int; |
hash : 'a -> int; |
hconsed : bool; |
constants : (name * 'a) list; |
}
If the data_hconsed is true, then the cin
function below will automatically hashcons the data using the eq
and hash
functions.
val declare : 'a declaration -> 'a cdata * 'a Conversion.t
val pp : Stdlib.Format.formatter -> t -> unit
val show : t -> string
val hash : t -> int
val name : t -> string
val int : int cdata
val is_int : t -> bool
val to_int : t -> int
val of_int : int -> Data.term
val float : float cdata
val is_float : t -> bool
val to_float : t -> float
val of_float : float -> Data.term
val string : string cdata
val is_string : t -> bool
val to_string : t -> string
val of_string : string -> Data.term
val is_loc : t -> bool