Theory Sepref

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

end