Previous  Up  Next

Module Gccjit.Type

module Type: sig .. end
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 -> type_kind -> Gccjit.type_
Access a standard type. See Gccjit.Type.type_kind.
val int : Gccjit.context -> ?signed:bool -> int -> Gccjit.type_
Get the integer type of the given size and signedness.
val pointer : Gccjit.type_ -> Gccjit.type_
Given type T, get type T*
val const : Gccjit.type_ -> Gccjit.type_
Given type T, get type const T.
val volatile : Gccjit.type_ -> Gccjit.type_
Given type T, get type volatile T.
val array : Gccjit.context -> ?loc:Gccjit.location -> Gccjit.type_ -> int -> Gccjit.type_
Given type T, get type T[N] (for a constant N).
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_
Unions work similarly to structs.
val to_string : Gccjit.type_ -> string
Get a human-readable description of this object.