type 'a 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
val intptr_t : Intptr.t typ
module Ptrdiff : Signed.Sval 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 : Unsigned.Sval 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 typ
type ('a, 't) field
val 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 typ
type 'a const
val constant : string -> 'a typ -> 'a constval enum : string -> ?typedef:bool -> ?unexpected:(int64 -> 'a) -> ('a * int64 const) list -> 'a typ