parserImport XOCL; parserImport XML::PrintXML; import XML::Parser; import IO; context Equals @Operation toXML(out:OutputChannel) @XML(out) left.toXML(out); right.toXML(out) end end