<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Llvm" rel="Chapter" href="Llvm.html"> <link title="Llvm_analysis" rel="Chapter" href="Llvm_analysis.html"> <link title="Llvm_bitreader" rel="Chapter" href="Llvm_bitreader.html"> <link title="Llvm_bitwriter" rel="Chapter" href="Llvm_bitwriter.html"> <link title="Llvm_executionengine" rel="Chapter" href="Llvm_executionengine.html"> <link title="Llvm_scalar_opts" rel="Chapter" href="Llvm_scalar_opts.html"> <link title="Llvm_target" rel="Chapter" href="Llvm_target.html"><title>Llvm_analysis</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">external</span> verify_module : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> string option<br> = <span class="string">"llvm_verify_module"</span><br> <span class="keyword">external</span> verify_function : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> bool = <span class="string">"llvm_verify_function"</span><br> <span class="keyword">external</span> assert_valid_module : <span class="constructor">Llvm</span>.llmodule <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_assert_valid_module"</span><br> <span class="keyword">external</span> assert_valid_function : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_assert_valid_function"</span><br> <span class="keyword">external</span> view_function_cfg : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_view_function_cfg"</span><br> <span class="keyword">external</span> view_function_cfg_only : <span class="constructor">Llvm</span>.llvalue <span class="keywordsign">-></span> unit<br> = <span class="string">"llvm_view_function_cfg_only"</span><br> <span class="keyword">end</span></code></body></html>