Module Ctypes_static
type abstract_type={aname : string;asize : int;aalignment : int;}type _ ocaml_type=|String : string ocaml_type|Bytes : Stdlib.Bytes.t ocaml_type|FloatArray : float array ocaml_typetype incomplete_size={mutable isize : int;}type structured_spec={size : int;align : int;}type 'a structspec=|Incomplete of incomplete_size|Complete of structured_spectype _ typ=|Void : unit typ|Primitive : 'a Ctypes_primitive_types.prim -> 'a typ|Pointer : 'a0 typ -> 'a0 ptr typ|Funptr : 'a1 fn -> 'a1 static_funptr typ|Struct : 'a2 structure_type -> 'a2 structure typ|Union : 'a3 union_type -> 'a3 union typ|Abstract : abstract_type -> 'a4 abstract typ|View : ('a5, 'b) view -> 'a5 typ|Array : 'a6 typ * int -> 'a6 carray typ|Bigarray : ('c, 'a7, 'd) Ctypes_bigarray.t -> 'a7 typ|OCaml : 'a8 ocaml_type -> 'a8 ocaml typand 'a carray={astart : 'a ptr;alength : int;}and ('a, 'kind) structured={structured : ('a, 'kind) structured ptr;}and 'a union= ('a, [ `Union ]) structuredand 'a structure= ('a, [ `Struct ]) structuredand 'a abstract= ('a, [ `Abstract ]) structuredand (_, _) pointer=|CPointer : 'a typ Ctypes_ptr.Fat.t -> ('a, [ `C ]) pointer|OCamlRef : int * 'a0 * 'a0 ocaml_type -> ('a0, [ `OCaml ]) pointerand 'a ptr= ('a, [ `C ]) pointerand 'a ocaml= ('a, [ `OCaml ]) pointerand 'a static_funptr=|Static_funptr of 'a fn Ctypes_ptr.Fat.tand ('a, 'b) view={read : 'b -> 'a;write : 'a -> 'b;format_typ : ((Stdlib.Format.formatter -> unit) -> Stdlib.Format.formatter -> unit) option;format : (Stdlib.Format.formatter -> 'a -> unit) option;ty : 'b typ;}and ('a, 's) field={ftype : 'a typ;foffset : int;fname : string;}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;}and 's0 boxed_field=|BoxedField : ('a, 's) field -> 's boxed_fieldand _ fn=|Returns : 'a typ -> 'a fn|Function : 'a0 typ * 'b fn -> ('a0 -> 'b) fntype _ bigarray_class=|Genarray : < ba_repr : 'b; bigarray : ('a, 'b, 'l) Bigarray.Genarray.t; carray : 'a carray; dims : int array; element : 'a; layout : 'l; > bigarray_class|Array1 : < ba_repr : 'b0; bigarray : ('a0, 'b0, 'l0) Bigarray.Array1.t; carray : 'a0 carray; dims : int; element : 'a0; layout : 'l0; > bigarray_class|Array2 : < ba_repr : 'b1; bigarray : ('a1, 'b1, 'l1) Bigarray.Array2.t; carray : 'a1 carray carray; dims : int * int; element : 'a1; layout : 'l1; > bigarray_class|Array3 : < ba_repr : 'b2; bigarray : ('a2, 'b2, 'l2) Bigarray.Array3.t; carray : 'a2 carray carray carray; dims : int * int * int; element : 'a2; layout : 'l2; > bigarray_classtype boxed_typ=|BoxedType : 'a typ -> boxed_typ
val 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 ldouble : LDouble.t typval complex32 : Stdlib.Complex.t typval complex64 : Stdlib.Complex.t 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 array : int -> 'a typ -> 'a carray typval ocaml_string : string ocaml typval ocaml_bytes : Stdlib.Bytes.t ocaml typval ocaml_float_array : float array ocaml typval ptr : 'a typ -> 'a ptr typval (@->) : 'a typ -> 'b fn -> ('a -> 'b) fnval abstract : name:string -> size:int -> alignment:int -> 'a abstract typval view : ?format_typ:((Stdlib.Format.formatter -> unit) -> Stdlib.Format.formatter -> unit) -> ?format:(Stdlib.Format.formatter -> 'b -> unit) -> read:('a -> 'b) -> write:('b -> 'a) -> 'a typ -> 'b typval typedef : 'a typ -> string -> 'a typval bigarray : < ba_repr : 'c; bigarray : 'd; carray : 'e; dims : 'b; element : 'a; layout : Bigarray.c_layout; > bigarray_class -> 'b -> ('a, 'c) Bigarray.kind -> 'd typval fortran_bigarray : < ba_repr : 'c; bigarray : 'd; carray : 'e; dims : 'b; element : 'a; layout : Bigarray.fortran_layout; > bigarray_class -> 'b -> ('a, 'c) Bigarray.kind -> 'd typval returning : 'a typ -> 'a fnval static_funptr : 'a fn -> 'a static_funptr typval structure : string -> 'a structure typval union : string -> 'a union typval offsetof : ('a, 'b) field -> intval field_type : ('a, 'b) field -> 'a typval field_name : ('a, 'b) field -> string
val unsupported : ('a, unit, string, 'b) Stdlib.format4 -> 'a