theory EmptyTheory❚ theory EmptyTheoryWithMeta : ?EmptyTheory❚ view EmptyView : ?EmptyTheory -> ?EmptyTheory❚ theory thy = structure emptyStructure : ?EmptyTheory❚ structure emptyStructureWithEq : ?EmptyTheory=❚ ❚