module languages/asf/syntax/Tests[Tree] imports languages/asf/syntax/Equations[Tree] exports sorts ASF-TestEquation context-free syntax ASF-Tag ASF-Condition -> ASF-TestEquation {cons("simple")} ASF-Tag ASF-Conditions ASF-Implies ASF-Condition -> ASF-TestEquation {cons("implies")} ASF-Tag ASF-Condition "when" ASF-Conditions -> ASF-TestEquation {cons("when")}