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

resource ResourceSwe = reuse StructuralSwe ;