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