úÎ (¾j      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdef g h i Safe4V (Matches brackets and nests token streams     Safe357>   Safe3457&!Recursively checks to see if all EText% constructors only occur inside the first EAbs constructor via EConc - if some are in EApp-, for instance, then you can't successfully render the expression. !"#$%&'()*+  !"#$%&'(%$ !"#&+*)'(  !"#$%&'()*+Safe4V3,Parser for expressions. Note - cannot parse EConc or ETextE constructors - they are implicit, and not considered in evaluation. ,-./01234 ,-./01234 ,-./01234,-./01234None4NV56789567896578956789Safe=Pturn head of template's arity into list - still need to render inner expressions?=Note - only use post-beta reduction: this function is partial:;<=>?:;<=>?;:<=>?:;<=>?Safe357@ABCDEFGHIJKLMNOPQRS @ABCDEFGHIJKLGCDEFSAB@HIRQPONJKML@ABCDEFGHIJKLMNOPQRSSafe3457[3Binds free type variables as universally quantified^3Replaces bound type variables with free, fresh ones_Most general unifier`Makes a substitution [x -> t]aType inference functionTUVWXYZ[\]^_`abcdeTUVWXYZ[\]^_`abcXYZed[TUVW\]^_`abcTUVWXYZ[\]^_`abcde Safe4fghifghifghifghi Safe6 !"#$%&'(@ABCDEFGHIJKLTUVWXYZ[\]^_`abcfghij     !"#$%&'()*+,-./01234566789:;<=>?@AB>?CDEFGHHIJKLMNOPQRSTUVWXYZZ[\]]^_`abcdefghi j k l mnltext_JS048A880d6711GCL8u5iILText.Parser.LexerLText.Internal.ClassesLText.Internal.ExprLText.Parser.ExprLText.Parser.DocumentLText.RendererLText.Internal.TypesLText.Internal.InferenceLText.Internal.EvaluationLText.Internal TokenStatebetween ExprTokensTLambTArrowTIdentTGroupTLParenTRPareninitTokenStatetokenizerunGroupgrouplexer$fShowExprTokens SubstitutableapplyBindablefvSetLikeemptyunion intersection difference$fSubstitutablesubstnamedomainf$fBindablevarsnamef $fSetLikeSet $fSetLikeMapExprEVarEAppEAbsELetETextEConcExprVarSpanlitsAtTopLevelprExp prParenExp $fShowExpr$fSubstitutableMap[]ExprExpr$fBindableSet[]Expr ParseState inLambdaDec isFreshScope exprSoFarinitParseStaterunParse parseExprmakeExpr HeaderSchemaVar getHeader parseDelim parseDocument showHeaderrenderHeaderSchemarenderhasAritySubstPrenexTypeTVarTFunTTextTypeVar nullSubst composeSubstprType prParenTypeprPrenex $fShowPrenex $fShowType$fSubstitutableMap[]TypePrenex$fBindableSet[]Prenex$fSubstitutableMap[]TypeType$fBindableSet[]Type $fNFDataTypeTIStatetiSupplytiSubstContextremove generalizerunTInewTyVar instantiatemguvarBindti typeInferencetest$fSubstitutableMap[]TypeContext$fBindableSet[]ContextrunEv freshExprVarreducealpha