(* *) >> [> ||| || |[ ]| [] accept actualizedby any behavior behaviour choice endlib endproc endspec endtype eqns exit for forall formaleqns formalopns formalsorts hide i in is let library noexit of ofsort opnnames opns par process renamedby sortnames sorts specification stop type using where Bit BitString Bool DecDigit DecString Element FBool HexDigit HexString OctDigit Octet OctString Nat NonEmptyString OctetString Set String BasicNaturalNumber BasicNonEmptyString BitNatRepr Boolean FBoolean DecNatRepr HexNatRepr NatRepresentations NaturalNumber OctNatRepr RicherNonEmptyString String0 String1 false true