module languages/asf/syntax/Conditions[Tree] exports sorts ASF-Condition ASF-Conditions Tree context-free syntax lhs:Tree unequal:"!=" rhs:Tree -> ASF-Condition {cons("negative")} lhs:Tree equality:"==" rhs:Tree -> ASF-Condition {cons("equality")} lhs:Tree match:":=" rhs:Tree -> ASF-Condition {cons("match")} lhs:Tree match:"!:=" rhs:Tree -> ASF-Condition {cons("no-match")} context-free syntax list:{ASF-Condition ","}+ -> ASF-Conditions