‹¯ƒ,[_,_]  [] Constructors ConstType Specification Strategies SignatureFunTypeTermSort  ExtOpDecl NilConsATermDR_DUMMY DR_UNDEFINEListIntStreamÑ(p0IŽÓ !²T‡hAR+i8I @