Source

TyLLVM / LLVM_types.mli

Full commit
type 'a t

type llvm_int = [`Int of (int * Big_int.big_int option)]
type 'a llvm_array = [`Array of (int * 'a)]
type 'a llvm_pointer = [`Pointer of ('a * int option)]
type ('a, 'b) llvm_function_pointer = [`Function_pointer of ('a array * 'b * int option)]

val int : int -> Big_int.big_int option -> llvm_int t
val array : int -> 'a -> 'a llvm_array t
val pointer : 'a -> int option -> 'a llvm_pointer t
val function_pointer : 'a array -> 'b -> int option -> ('a, 'b) llvm_function_pointer t