B[_,_]  [] Constructors ConstType ExtSDef Specification Strategies SignatureFunTypeVarDec Sort  ExtOpDecl ATermDR_DUMMY DR_UNDEFINEjsglr-open-parsetablejsglr-close-parsetablejsglr-parse-stringjsglr-parse-string-ptjsglr-enable-recoveryjsglr-disable-recoveryk_0p_0q_0r_0v_0w_0x_0y_0c_1E(!`(Z)j&š8dhʆb*,%6dnV