package ocaml-base-compiler
and uconstant = | Uconst_ref of string * ustructured_constant option| Uconst_int of int| Uconst_ptr of int
and ulambda = | Uvar of Ident.t| Uconst of uconstant| Udirect_apply of function_label * ulambda list * Debuginfo.t| Ugeneric_apply of ulambda * ulambda list * Debuginfo.t| Uclosure of ufunction list * ulambda list| Uoffset of ulambda * int| Ulet of Asttypes.mutable_flag * Lambda.value_kind * Ident.t * ulambda * ulambda| Uletrec of (Ident.t * ulambda) list * ulambda| Uprim of Lambda.primitive * ulambda list * Debuginfo.t| Uswitch of ulambda * ulambda_switch * Debuginfo.t| Ustringswitch of ulambda * (string * ulambda) list * ulambda option| Ustaticfail of int * ulambda list| Ucatch of int * Ident.t list * ulambda * ulambda| Utrywith of ulambda * Ident.t * ulambda| Uifthenelse of ulambda * ulambda * ulambda| Usequence of ulambda * ulambda| Uwhile of ulambda * ulambda| Ufor of Ident.t * ulambda * ulambda * Asttypes.direction_flag * ulambda| Uassign of Ident.t * ulambda| Usend of Lambda.meth_kind * ulambda * ulambda * ulambda list * Debuginfo.t| Uunreachable
and ufunction = {label : function_label;arity : int;params : Ident.t list;body : ulambda;dbg : Debuginfo.t;env : Ident.t option;
}type function_description = {fun_label : function_label;fun_arity : int;mutable fun_closed : bool;mutable fun_inline : (Ident.t list * ulambda) option;mutable fun_float_const_prop : bool;
}type value_approximation = | Value_closure of function_description * value_approximation| Value_tuple of value_approximation array| Value_unknown| Value_const of uconstant| Value_global_field of string * int
val compare_structured_constants :
ustructured_constant ->
ustructured_constant ->
inttype preallocated_block = {symbol : string;exported : bool;tag : int;fields : uconstant_block_field option list;
}