ldt.key
Requires: \includeLDTsoptionsDeclarations,ruleSetsDeclarations,soundDefaultContracts,boolean,"./integer/integerHeader.key","./integer/javaIntegerHeader.key",javaHeader,"./float/floatHeader.key",heap,"./locset/locSets.key","./permission/permission.key",reach,"./sequence/seq.key",stringDef,map,freeADT,wellfound,"./string/charListHeader.key",types;
requires optionsDeclarations
requires ruleSetsDeclarations
requires soundDefaultContracts
requires boolean
requires "./integer/integerHeader.key"
requires "./integer/javaIntegerHeader.key"
requires javaHeader
requires "./float/floatHeader.key"
requires heap
requires "./locset/locSets.key"
requires "./permission/permission.key"
requires reach
requires "./sequence/seq.key"
requires stringDef
requires map
requires freeADT
requires wellfound
requires "./string/charListHeader.key"
requires types