/[_,_]3 [] ConstructorsSortVar SortNoArgs (&$" Sort.OpDecl -,+*)'%#! OpDeclInj ConstTypeModule SignatureFunTypeNilConsConcATermfunaListquotedNoneSomeStringNatCondefaultStrConATerms Annotation annotatedlist placeholderapplAFunrealRealConintIntConunquotedIdConreal-conOptExpabsentpresentnegativepositivenaturalOption L@0C40r">؍*H=\S vcqJƐrH-hRV&%/MZQ&:6ᬥFre`2!Vԅ a[Ps'oRp}W8$M6)Ύ0rQE[֦ݘ :%