Low level module for OpaqueData
type t = Ast.Opaque.ttype '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.
type 'a cdata = private {cin : 'a -> Data.term;cino : 'a -> Ast.Opaque.t;isc : t -> bool;cout : t -> 'a;name : string;}val declare : 'a declaration -> 'a cdata * 'a Conversion.tval pp : Stdlib.Format.formatter -> t -> unitval show : t -> stringval hash : t -> intval name : t -> stringval int : int cdataval is_int : t -> boolval to_int : t -> intval of_int : int -> Data.termval float : float cdataval is_float : t -> boolval to_float : t -> floatval of_float : float -> Data.termval string : string cdataval is_string : t -> boolval to_string : t -> stringval of_string : string -> Data.termval is_loc : t -> bool