úÎHvr      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmn o p q Safe4V(Matches brackets and nests token streams      Safe357>   Safe357 !"#$%&'()*+,-./012 !"#$%&'()*+,'#$%&!" ()210/.*+-, !"#$%&'()*+,-./012Safe3573456789:;<=>?@ABCDEF3456789:;<=>?@ABCA@9:;<=>?FE345678DBC 3456789:;<=>?@ABCDEFSafe4VN,Parser for expressions. Note - cannot parse EConc or ETextE constructors - they are implicit, and not considered in evaluation. GHIJKLMNOP GHIJKLMNOP GHIJKLMNOPGHIJKLMNOPSafe4NVQRSTUQRSTURQSTUQRSTUSafeYPturn head of template's arity into list - still need to render inner expressions[=Note - only use post-beta reduction: this function is partialVWXYZ[VWXYZ[WVXYZ[VWXYZ[Safe3457c3Binds free type variables as universally quantifiedf3Replaces bound type variables with free, fresh onesgMost general unifierhMakes a substitution [x -> t]iType inference function\]^_`abcdefghijklm\]^_`abcdefghijk`abmlc\]^_defghijk\]^_`abcdefghijklm Safe4nopqnopqnopqnopq Safe; !"#$%&'()*+,3456789:;<=>?@ABC\]^_`abcdefghijknopqr     !"#$%&'()*++,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPPQRSTUVWXYZ[\]YZ^_`abbcdeefghijklmnopq r s t uvltext_KRXjjWdumX663XSPEfit7rLText.Parser.LexerLText.Internal.ClassesLText.Internal.TypesLText.Internal.ExprLText.Parser.ExprLText.Parser.DocumentLText.RendererLText.Internal.InferenceLText.Internal.EvaluationLText.Internal TokenState followingFollowingTokenFollowsBackslash ExprTokensTLambTArrowTLParenTRParenTIdentTGroupinitTokenState runTokenstokenizerunGroupgrouplexer$fShowExprTokens SubstitutableapplyBindablefvSetLikeemptyunion intersection difference$fSubstitutablesubstnamedomainf$fBindablevarsnamef $fSetLikeSet $fSetLikeMapSubstPrenexTypeTVarTFunTTextTypeVar nullSubst composeSubstprType prParenTypeprPrenex $fShowPrenex $fShowType$fSubstitutableMap[]TypePrenex$fBindableSet[]Prenex$fSubstitutableMap[]TypeType$fBindableSet[]TypeAnnExprAAbsAAppAVarATextAConcExprEVarEAppEAbsELetETextEConcExprVarSpanprExp prParenExp $fShowExpr$fSubstitutableMap[]ExprExpr$fBindableSet[]Expr ParseState inLambdaDec isFreshScope exprSoFarinitParseStaterunParse parseExprmakeExpr testParse HeaderSchemaVar getHeader parseDelim parseDocument showHeaderrenderHeaderSchemarenderhasArityTIStatetiSupplytiSubstContextremove generalizerunTInewTyVar instantiatemguvarBindti typeInferencetest$fSubstitutableMap[]TypeContext$fBindableSet[]ContextrunEv freshExprVarreducealpha