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