sig
type recursive
type single_pack = private Unmarshal.t
type pack = private
Nopack
| Pack of Structural_descr.single_pack
| Recursive of Structural_descr.recursive
type t = private
Unknown
| Abstract
| Structure of Structural_descr.structure
| T_pack of Structural_descr.single_pack
and structure = private
Sum of Structural_descr.pack array array
| Array of Structural_descr.pack
val pack : Structural_descr.t -> Structural_descr.pack
val recursive_pack : Structural_descr.recursive -> Structural_descr.pack
module Recursive :
sig
val create : unit -> Structural_descr.recursive
val update : Structural_descr.recursive -> Structural_descr.t -> unit
end
val t_unknown : Structural_descr.t
val t_abstract : Structural_descr.t
val t_unit : Structural_descr.t
val t_int : Structural_descr.t
val t_string : Structural_descr.t
val t_float : Structural_descr.t
val t_bool : Structural_descr.t
val t_int32 : Structural_descr.t
val t_int64 : Structural_descr.t
val t_nativeint : Structural_descr.t
val t_record : Structural_descr.pack array -> Structural_descr.t
val t_tuple : Structural_descr.pack array -> Structural_descr.t
val t_list : Structural_descr.t -> Structural_descr.t
val t_ref : Structural_descr.t -> Structural_descr.t
val t_option : Structural_descr.t -> Structural_descr.t
val t_array : Structural_descr.t -> Structural_descr.t
val t_queue : Structural_descr.t -> Structural_descr.t
val t_sum : Structural_descr.pack array array -> Structural_descr.t
val t_set_unchanged_compares : Structural_descr.t -> Structural_descr.t
val t_map_unchanged_compares :
Structural_descr.t -> Structural_descr.t -> Structural_descr.t
val t_hashtbl_unchanged_hashs :
Structural_descr.t -> Structural_descr.t -> Structural_descr.t
val p_abstract : Structural_descr.pack
val p_unit : Structural_descr.pack
val p_int : Structural_descr.pack
val p_string : Structural_descr.pack
val p_float : Structural_descr.pack
val p_bool : Structural_descr.pack
val p_int32 : Structural_descr.pack
val p_int64 : Structural_descr.pack
val p_nativeint : Structural_descr.pack
exception Cannot_pack
val unsafe_pack : Unmarshal.t -> Structural_descr.pack
val of_pack : Structural_descr.single_pack -> Structural_descr.t
val cleanup : Structural_descr.t -> Structural_descr.t
val are_consistent : Structural_descr.t -> Structural_descr.t -> bool
end