‹¯ƒ#[_,_]   [] Constructors ConstType ExtSDef  Specification Strategies SignatureFunTypeVarDecSort  ExtOpDeclATerm Anno_Cong__DR_DUMMY DR_UNDEFINEn_0o_0p_0Ñ…)@â,,”5a T ©²G$(