-- -*- M2-comint -*- {* hash: -771214694 *} i1 : t = parse ///<OMA><OMS cd="arith1" name="plus"/><OMI>1</OMI><OMI>2</OMI></OMA>/// o1 = <OMA <OMS cd="arith1" name="plus" <OMI "1" <OMI "2" o1 : XMLnode i2 : val t o2 = 3 i3 :
-- -*- M2-comint -*- {* hash: -771214694 *} i1 : t = parse ///<OMA><OMS cd="arith1" name="plus"/><OMI>1</OMI><OMI>2</OMI></OMA>/// o1 = <OMA <OMS cd="arith1" name="plus" <OMI "1" <OMI "2" o1 : XMLnode i2 : val t o2 = 3 i3 :