sig
  type 'a typ
  val void : unit Ctypes_types.TYPE.typ
  val char : char Ctypes_types.TYPE.typ
  val schar : int Ctypes_types.TYPE.typ
  val short : int Ctypes_types.TYPE.typ
  val int : int Ctypes_types.TYPE.typ
  val long : Signed.long Ctypes_types.TYPE.typ
  val llong : Signed.llong Ctypes_types.TYPE.typ
  val nativeint : nativeint Ctypes_types.TYPE.typ
  val int8_t : int Ctypes_types.TYPE.typ
  val int16_t : int Ctypes_types.TYPE.typ
  val int32_t : int32 Ctypes_types.TYPE.typ
  val int64_t : int64 Ctypes_types.TYPE.typ
  module Intptr : Signed.S
  val intptr_t : Intptr.t Ctypes_types.TYPE.typ
  module Ptrdiff : Signed.S
  val ptrdiff_t : Ptrdiff.t Ctypes_types.TYPE.typ
  val camlint : int Ctypes_types.TYPE.typ
  val uchar : Unsigned.uchar Ctypes_types.TYPE.typ
  val bool : bool Ctypes_types.TYPE.typ
  val uint8_t : Unsigned.uint8 Ctypes_types.TYPE.typ
  val uint16_t : Unsigned.uint16 Ctypes_types.TYPE.typ
  val uint32_t : Unsigned.uint32 Ctypes_types.TYPE.typ
  val uint64_t : Unsigned.uint64 Ctypes_types.TYPE.typ
  val size_t : Unsigned.size_t Ctypes_types.TYPE.typ
  val ushort : Unsigned.ushort Ctypes_types.TYPE.typ
  val sint : Signed.sint Ctypes_types.TYPE.typ
  val uint : Unsigned.uint Ctypes_types.TYPE.typ
  val ulong : Unsigned.ulong Ctypes_types.TYPE.typ
  val ullong : Unsigned.ullong Ctypes_types.TYPE.typ
  module Uintptr : Unsigned.S
  val uintptr_t : Uintptr.t Ctypes_types.TYPE.typ
  val float : float Ctypes_types.TYPE.typ
  val double : float Ctypes_types.TYPE.typ
  val ldouble : LDouble.t Ctypes_types.TYPE.typ
  val complex32 : Complex.t Ctypes_types.TYPE.typ
  val complex64 : Complex.t Ctypes_types.TYPE.typ
  val complexld : ComplexL.t Ctypes_types.TYPE.typ
  val ptr :
    'a Ctypes_types.TYPE.typ -> 'a Ctypes_static.ptr Ctypes_types.TYPE.typ
  val ptr_opt :
    'a Ctypes_types.TYPE.typ ->
    'a Ctypes_static.ptr option Ctypes_types.TYPE.typ
  val string : string Ctypes_types.TYPE.typ
  val string_opt : string option Ctypes_types.TYPE.typ
  val ocaml_string : string Ctypes_static.ocaml Ctypes_types.TYPE.typ
  val ocaml_bytes : Bytes.t Ctypes_static.ocaml Ctypes_types.TYPE.typ
  val array :
    int ->
    'a Ctypes_types.TYPE.typ -> 'a Ctypes_static.carray Ctypes_types.TYPE.typ
  val 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 Ctypes_types.TYPE.typ
  val 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 Ctypes_types.TYPE.typ
  val typ_of_bigarray_kind :
    ('a, 'b) Bigarray.kind -> 'a Ctypes_types.TYPE.typ
  type ('a, 't) field
  val structure : string -> 's Ctypes_static.structure Ctypes_types.TYPE.typ
  val union : string -> 's Ctypes_static.union Ctypes_types.TYPE.typ
  val field :
    ('s, [< `Struct | `Union ] as 'b) Ctypes_static.structured
    Ctypes_types.TYPE.typ ->
    string ->
    'a Ctypes_types.TYPE.typ ->
    ('a, ('s, 'b) Ctypes_static.structured) Ctypes_types.TYPE.field
  val seal :
    ('a, [< `Struct | `Union ]) Ctypes_static.structured
    Ctypes_types.TYPE.typ -> unit
  val view :
    ?format_typ:((Format.formatter -> unit) -> Format.formatter -> unit) ->
    ?format:(Format.formatter -> 'b -> unit) ->
    read:('a -> 'b) ->
    write:('b -> 'a) -> 'a Ctypes_types.TYPE.typ -> 'b Ctypes_types.TYPE.typ
  val typedef :
    'a Ctypes_types.TYPE.typ -> string -> 'a Ctypes_types.TYPE.typ
  val abstract :
    name:string ->
    size:int ->
    alignment:int -> 'a Ctypes_static.abstract Ctypes_types.TYPE.typ
  val lift_typ : 'a Ctypes_static.typ -> 'a Ctypes_types.TYPE.typ
  type 'a fn = 'a Ctypes_static.fn
  val ( @-> ) :
    'a Ctypes_types.TYPE.typ ->
    'b Ctypes_types.TYPE.fn -> ('a -> 'b) Ctypes_types.TYPE.fn
  val returning : 'a Ctypes_types.TYPE.typ -> 'a Ctypes_types.TYPE.fn
  type 'a static_funptr = 'a Ctypes_static.static_funptr
  val static_funptr :
    'a Ctypes_types.TYPE.fn ->
    'a Ctypes_static.static_funptr Ctypes_types.TYPE.typ
end