diff options
Diffstat (limited to 'bindings/ocaml/llvm/llvm.mli')
-rw-r--r-- | bindings/ocaml/llvm/llvm.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bindings/ocaml/llvm/llvm.mli b/bindings/ocaml/llvm/llvm.mli index 801da2614d..d2f6cb4ce7 100644 --- a/bindings/ocaml/llvm/llvm.mli +++ b/bindings/ocaml/llvm/llvm.mli @@ -16,6 +16,7 @@ (* These abstract types correlate directly to the LLVM VMCore classes. *) type llmodule type lltype +type lltypehandle type llvalue type llbasicblock (* These are actually values, but benefit from type checking. *) @@ -160,6 +161,11 @@ external opaque_type : unit -> lltype = "llvm_opaque_type" val void_type : lltype val label_type : lltype +(*--... Operations on type handles .........................................--*) +external handle_to_type : lltype -> lltypehandle = "llvm_handle_to_type" +external type_of_handle : lltypehandle -> lltype = "llvm_type_of_handle" +external refine_type : lltype -> lltype -> unit = "llvm_refine_type" + (*===-- Values ------------------------------------------------------------===*) external type_of : llvalue -> lltype = "llvm_type_of" |