type constructor_tag = {name: string,const: int,non_const: int,
};type pointer_info = | None| Pt_constructor(constructor_tag)| Pt_assertfalse| Some(string)
;type t = | Const_js_null| Const_js_undefined| Const_js_true| Const_js_false| Const_int of {i: int32,
}| Const_char(char)| Const_string of {s: string,unicode: bool,
}| Const_float(string)| Const_int64(int64)| Const_pointer(string)| Const_block(int, Lam_tag_info.t, list(t))| Const_float_array(list(string))| Const_some(t)| Const_module_alias
;let eq_approx: t => t => bool;