sig
  type type_kind =
      Void
    | Void_ptr
    | Bool
    | Char
    | Signed_char
    | Unsigned_char
    | Short
    | Unsigned_short
    | Int
    | Unsigned_int
    | Long
    | Unsigned_long
    | Long_long
    | Unsigned_long_long
    | Float
    | Double
    | Long_double
    | Const_char_ptr
    | Size_t
    | File_ptr
    | Complex_float
    | Complex_double
    | Complex_long_double
  val get : Gccjit.context -> Gccjit.Type.type_kind -> Gccjit.type_
  val int : Gccjit.context -> ?signed:bool -> int -> Gccjit.type_
  val pointer : Gccjit.type_ -> Gccjit.type_
  val const : Gccjit.type_ -> Gccjit.type_
  val volatile : Gccjit.type_ -> Gccjit.type_
  val array :
    Gccjit.context ->
    ?loc:Gccjit.location -> Gccjit.type_ -> int -> Gccjit.type_
  val function_ptr :
    Gccjit.context ->
    ?loc:Gccjit.location ->
    ?variadic:bool -> Gccjit.type_ list -> Gccjit.type_ -> Gccjit.type_
  val struct_ : Gccjit.struct_ -> Gccjit.type_
  val union :
    Gccjit.context ->
    ?loc:Gccjit.location -> string -> Gccjit.field list -> Gccjit.type_
  val to_string : Gccjit.type_ -> string
end