section ‹Main Theory for the Sepref/LLVM Framework› theory Sepref imports Sepref_Tool Sepref_HOL_Bindings begin end