N [_,_]c  [] Constructors ConstTypeExtSDef 10/.-+)&$# " Specification Strategies SignatureFunTypeVarDecMLKJIHGFEDCBA@?>=<;:9876543StringlistSomeNoneConcSortVarSort 2, *('%! ExtOpDecl 10/.-+)&$# " ExtOpDeclInjNilConsATermfuna Anno_Cong__DR_DUMMY DR_UNDEFINEListquoteddefaultintNatConStrCon Annotation annotated placeholderapplAFunrealRealConIntConunquotedIdConreal-conOptExpabsentpresentnegativepositivenaturalOptionj_1k_1l_1m_1n_1o_1p_1q_1r_1s_1t_1u_1v_1w_1x_1y_1z_1a_2b_2c_2d_2e_2f_2g_2h_2i_2j_2F P $Э $2 "@R@S1(X1MH`9 ɘBs Tԁ&H M+RP=qVZaʚR!2i`d0+,QZTa