--# -path=.:../abstract:../../prelude

resource ResourceEng = reuse StructuralEng ;