parserImport XOCL; parserImport Parser::BNF; import OCL; context Env::Env @Grammar extends OCL::OCL.grammar Env ::= bs = Bs 'end' { bs->iterate(pair e = [| Env::NullEnv() |] | [| .bind(head)>,tail>) |]) }. Bs ::= b = B bs = (';' B)* { Seq{b|bs} } | { Seq{} }. B ::= n = Name '=' e = SimpleExp { Seq{n|e} }. end