Theory LLVM_DS_Dflt

section Isabelle-LLVM with Default Data Structures
theory LLVM_DS_Dflt
imports 
  LLVM_DS_Arith
  LLVM_DS_Array
  LLVM_DS_NArray
begin
  text 
    Entry point to Isabelle-LLVM with some default data structures
  
end