Source

TyLLVM / src / LLVM_types.mli

Full commit
type _ f =
  | Ret : 'a t -> 'a t f
  | App : 'a t * 'b f -> ('a * 'b) f

and _ t =
  | Int : int -> int t
  | Array : int * 'a t -> 'a t array t
  | Pointer : 'a t -> 'a t t
  | FunctionPointer : 'a f -> 'a f t

type 'a value = 'a t * 'a

val to_string : 'a t -> string