(str as Modules.STR {rlzn = {entities, ...}, sign = Modules.SIG {elements, ...}, ...}, _) =>
(elements, entities, str)
| _ => raise Fail "Unexpected spec in resolveStructure")
(str as Modules.STR {rlzn = {entities, ...}, sign = Modules.SIG {elements, ...}, ...}, _) =>
(elements, entities, str)
| _ => raise Fail "Unexpected spec in resolveStructure")