type _ ocaml_type = | String : string ocaml_type| Bytes : bytes ocaml_type| FloatArray : float array ocaml_typetype _ typ = | Void : unit typ| Primitive : 'a Ctypes_primitive_types.prim -> 'a typ| Pointer : 'a typ -> 'a ptr typ| Funptr : 'a fn -> 'a static_funptr typ| Struct : 'a structure_type -> 'a structure typ| Union : 'a union_type -> 'a union typ| Abstract : abstract_type -> 'a abstract typ| View : ('a, 'b) view -> 'a typ| Array : 'a typ * int -> 'a carray typ| Bigarray : (_, 'a, _) Ctypes_bigarray.t -> 'a typ| OCaml : 'a ocaml_type -> 'a ocaml typand 'a union = ('a, [ `Union ]) structuredand 'a structure = ('a, [ `Struct ]) structuredand 'a abstract = ('a, [ `Abstract ]) structuredand (_, _) pointer = | CPointer : (Obj.t option, 'a typ) Ctypes_ptr.Fat.t -> ('a, [ `C ]) pointer| OCamlRef : int * 'a * 'a ocaml_type -> ('a, [ `OCaml ]) pointerand 'a ptr = ('a, [ `C ]) pointerand 'a ocaml = ('a, [ `OCaml ]) pointerand ('a, 'b) view = {read : 'b -> 'a;write : 'a -> 'b;format_typ : ((Format.formatter -> unit) -> Format.formatter -> unit) option;format : (Format.formatter -> 'a -> unit) option;ty : 'b typ;}and 'a structure_type = {tag : string;mutable spec : 'a structspec;mutable fields : 'a structure boxed_field list;}and 'a union_type = {utag : string;mutable uspec : structured_spec option;mutable ufields : 'a union boxed_field list;}type _ bigarray_class = | Genarray : < element : 'a
; layout : 'l
; dims : int array
; ba_repr : 'b
; bigarray : ('a, 'b, 'l) Bigarray_compat.Genarray.t
; carray : 'a carray >
bigarray_class| Array1 : < element : 'a
; layout : 'l
; dims : int
; ba_repr : 'b
; bigarray : ('a, 'b, 'l) Bigarray_compat.Array1.t
; carray : 'a carray >
bigarray_class| Array2 : < element : 'a
; layout : 'l
; dims : int * int
; ba_repr : 'b
; bigarray : ('a, 'b, 'l) Bigarray_compat.Array2.t
; carray : 'a carray carray >
bigarray_class| Array3 : < element : 'a
; layout : 'l
; dims : int * int * int
; ba_repr : 'b
; bigarray : ('a, 'b, 'l) Bigarray_compat.Array3.t
; carray : 'a carray carray carray >
bigarray_classval sizeof : 'a typ -> intval alignment : 'a typ -> intval passable : 'a typ -> boolval ocaml_value : 'a typ -> boolval has_ocaml_argument : 'a fn -> boolval void : unit typval char : char typval schar : int typval float : float typval double : float typval complexld : ComplexL.t typval short : int typval int : int typval sint : Signed.sint typval long : Signed.long typval llong : Signed.llong typval nativeint : nativeint typval int8_t : int typval int16_t : int typval int32_t : Signed.Int32.t typval int64_t : Signed.Int64.t typval camlint : int typval uchar : Unsigned.uchar typval bool : bool typval uint8_t : Unsigned.UInt8.t typval uint16_t : Unsigned.UInt16.t typval uint32_t : Unsigned.UInt32.t typval uint64_t : Unsigned.UInt64.t typval size_t : Unsigned.size_t typval ushort : Unsigned.ushort typval uint : Unsigned.uint typval ulong : Unsigned.ulong typval ullong : Unsigned.ullong typval view :
?format_typ:((Format.formatter -> unit) -> Format.formatter -> unit) ->
?format:(Format.formatter -> 'b -> unit) ->
read:('a -> 'b) ->
write:('b -> 'a) ->
'a typ ->
'b typval bigarray :
< ba_repr : 'c
; bigarray : 'd
; carray : 'e
; dims : 'b
; layout : Bigarray_compat.c_layout
; element : 'a >
bigarray_class ->
'b ->
('a, 'c) Bigarray_compat.kind ->
'd typval fortran_bigarray :
< ba_repr : 'c
; bigarray : 'd
; carray : 'e
; dims : 'b
; layout : Bigarray_compat.fortran_layout
; element : 'a >
bigarray_class ->
'b ->
('a, 'c) Bigarray_compat.kind ->
'd typval static_funptr : 'a fn -> 'a static_funptr typval offsetof : ('a, 'b) field -> intval field_name : ('a, 'b) field -> stringval unsupported : ('a, unit, string, _) format4 -> 'a