include Ctypes
type ('a, 'b) pointer = ('a, 'b) Ctypes_static.pointertype 'a ptr = ('a, [ `C ]) pointertype 'a ocaml = 'a Ctypes_static.ocamltype 'a carray = 'a Ctypes_static.carraytype 'a bigarray_class = 'a Ctypes_static.bigarray_class
val genarray : < ba_repr : 'b; bigarray : ('a, 'b, 'l) Bigarray.Genarray.t; carray : 'a carray; dims : int array; element : 'a; layout : 'l; > bigarray_classval array1 : < ba_repr : 'b; bigarray : ('a, 'b, 'l) Bigarray.Array1.t; carray : 'a carray; dims : int; element : 'a; layout : 'l; > bigarray_classval array2 : < ba_repr : 'b; bigarray : ('a, 'b, 'l) Bigarray.Array2.t; carray : 'a carray carray; dims : int * int; element : 'a; layout : 'l; > bigarray_classval array3 : < ba_repr : 'b; bigarray : ('a, 'b, 'l) Bigarray.Array3.t; carray : 'a carray carray carray; dims : int * int * int; element : 'a; layout : 'l; > bigarray_class
type ('a, 'kind) structured = ('a, 'kind) Ctypes_static.structuredtype 'a structure = ('a, [ `Struct ]) structuredtype 'a union = ('a, [ `Union ]) structuredtype ('a, 't) field = ('a, 't) Ctypes_static.fieldtype 'a abstract = 'a Ctypes_static.abstracttype 'a typ = 'a Ctypes_static.typ
val void : unit typval char : char typval schar : int typval short : int typval int : int typval long : Signed.long typval llong : Signed.llong typval nativeint : nativeint typval int8_t : int typval int16_t : int typval int32_t : int32 typval int64_t : int64 typ
module Intptr = Ctypes.Intptrval intptr_t : Intptr.t typ
module Ptrdiff = Ctypes.Ptrdiffval ptrdiff_t : Ptrdiff.t typval camlint : int typval uchar : Unsigned.uchar typval bool : bool typval uint8_t : Unsigned.uint8 typval uint16_t : Unsigned.uint16 typval uint32_t : Unsigned.uint32 typval uint64_t : Unsigned.uint64 typval size_t : Unsigned.size_t typval ushort : Unsigned.ushort typval sint : Signed.sint typval uint : Unsigned.uint typval ulong : Unsigned.ulong typval ullong : Unsigned.ullong typ
module Uintptr = Ctypes.Uintptrval uintptr_t : Uintptr.t 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 ptr : 'a typ -> 'a Ctypes_static.ptr typval ptr_opt : 'a typ -> 'a Ctypes_static.ptr option typval string : string typval string_opt : string option typval ocaml_string : string Ctypes_static.ocaml typval ocaml_bytes : Stdlib.Bytes.t Ctypes_static.ocaml typval array : int -> 'a typ -> 'a Ctypes_static.carray typval bigarray : < ba_repr : 'b; bigarray : 'bigarray; carray : 'c; dims : 'dims; element : 'a; layout : Bigarray.c_layout; > Ctypes_static.bigarray_class -> 'dims -> ('a, 'b) Bigarray.kind -> 'bigarray typval fortran_bigarray : < ba_repr : 'b; bigarray : 'bigarray; carray : 'c; dims : 'dims; element : 'a; layout : Bigarray.fortran_layout; > Ctypes_static.bigarray_class -> 'dims -> ('a, 'b) Bigarray.kind -> 'bigarray typval typ_of_bigarray_kind : ('a, 'b) Bigarray.kind -> 'a typval structure : string -> 's Ctypes_static.structure typval union : string -> 's Ctypes_static.union typval field : ('s, [< `Struct | `Union ] as b) Ctypes_static.structured typ -> string -> 'a typ -> ('a, ('s, 'b) Ctypes_static.structured) fieldval seal : ('a, [< `Struct | `Union ]) Ctypes_static.structured typ -> unitval 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 abstract : name:string -> size:int -> alignment:int -> 'a Ctypes_static.abstract typval lift_typ : 'a Ctypes_static.typ -> 'a typ
type 'a fn = 'a Ctypes_static.fn
val (@->) : 'a typ -> 'b fn -> ('a -> 'b) fnval returning : 'a typ -> 'a fn
type 'a static_funptr = 'a Ctypes_static.static_funptr
val static_funptr : 'a fn -> 'a Ctypes_static.static_funptr typval sizeof : 'a typ -> intval alignment : 'a typ -> intval format_typ : ?name:string -> Stdlib.Format.formatter -> 'a typ -> unitval format_fn : ?name:string -> Stdlib.Format.formatter -> 'a fn -> unitval string_of_typ : ?name:string -> 'a typ -> stringval string_of_fn : ?name:string -> 'a fn -> stringval format : 'a typ -> Stdlib.Format.formatter -> 'a -> unitval string_of : 'a typ -> 'a -> stringval null : unit ptrval (!@) : 'a ptr -> 'aval (<-@) : 'a ptr -> 'a -> unitval (+@) : ('a, 'b) pointer -> int -> ('a, 'b) pointerval (-@) : ('a, 'b) pointer -> int -> ('a, 'b) pointerval ptr_diff : ('a, 'b) pointer -> ('a, 'b) pointer -> intval from_voidp : 'a typ -> unit ptr -> 'a ptrval to_voidp : 'a ptr -> unit ptrval allocate : ?finalise:('a ptr -> unit) -> 'a typ -> 'a -> 'a ptrval allocate_n : ?finalise:('a ptr -> unit) -> 'a typ -> count:int -> 'a ptrval ptr_compare : 'a ptr -> 'a ptr -> intval is_null : 'a ptr -> boolval reference_type : 'a ptr -> 'a typval ptr_of_raw_address : nativeint -> unit ptrval funptr_of_raw_address : nativeint -> (unit -> unit) Ctypes_static.static_funptrval raw_address_of_ptr : unit ptr -> nativeintval string_from_ptr : char ptr -> length:int -> stringval ocaml_string_start : string -> string ocamlval ocaml_bytes_start : Stdlib.Bytes.t -> Stdlib.Bytes.t ocaml
module CArray = Ctypes.CArrayval bigarray_start : < ba_repr : 'c; bigarray : 'b; carray : 'd; dims : 'e; element : 'a; layout : 'l; > bigarray_class -> 'b -> 'a ptrval bigarray_of_ptr : < ba_repr : 'f; bigarray : 'b; carray : 'c; dims : 'i; element : 'a; layout : Bigarray.c_layout; > bigarray_class -> 'i -> ('a, 'f) Bigarray.kind -> 'a ptr -> 'bval fortran_bigarray_of_ptr : < ba_repr : 'f; bigarray : 'b; carray : 'c; dims : 'i; element : 'a; layout : Bigarray.fortran_layout; > bigarray_class -> 'i -> ('a, 'f) Bigarray.kind -> 'a ptr -> 'bval array_of_bigarray : < ba_repr : 'a; bigarray : 'b; carray : 'c; dims : 'd; element : 'e; layout : Bigarray.c_layout; > bigarray_class -> 'b -> 'cval bigarray_of_array : < ba_repr : 'f; bigarray : 'b; carray : 'c carray; dims : 'i; element : 'a; layout : Bigarray.c_layout; > bigarray_class -> ('a, 'f) Bigarray.kind -> 'c carray -> 'bval make : ?finalise:(('a, 'b) structured -> unit) -> ('a, 'b) structured typ -> ('a, 'b) structuredval setf : ('b, 'c) structured -> ('a, ('b, 'c) structured) field -> 'a -> unitval getf : ('b, 'c) structured -> ('a, ('b, 'c) structured) field -> 'aval (@.) : ('b, 'c) structured -> ('a, ('b, 'c) structured) field -> 'a ptrval (|->) : ('b, 'c) structured ptr -> ('a, ('b, 'c) structured) field -> 'a ptrval offsetof : ('a, 'b structure) field -> intval field_type : ('a, 'b) field -> 'a typval field_name : ('a, 'b) field -> stringval addr : ('a, 'b) structured -> ('a, 'b) structured ptrval coerce : 'a typ -> 'b typ -> 'a -> 'bval coerce_fn : 'a fn -> 'b fn -> 'a -> 'b
module type TYPE = sig ... endmodule Root = Ctypes.Rootexception Unsupported of stringexception ModifyingSealedType of stringexception IncompleteType
type uncoercible_info = Ctypes.uncoercible_info
exception Uncoercible of uncoercible_info
val (@->) : 'a Ctypes.typ -> 'b F.fn -> ('a -> 'b) F.fnval returning : 'a Ctypes.typ -> 'a F.return F.fn