Index
| $sel:alpha:PA_TAU | CST |
| $sel:args:AAS_EXPR | CST |
| $sel:args:APP_ARG | CST |
| $sel:args:EXTRA | CST |
| $sel:args:Extra | Yaml |
| $sel:argument:EX_GLOBAL | CST |
| $sel:arrow:PA_TAU | CST |
| $sel:attr:ARG_EXPR | CST |
| $sel:attr:CMP_ATTR | CST |
| $sel:attr:CO_EMPTY | CST |
| $sel:attr:EX_GLOBAL | CST |
| $sel:attr:PA_TAU | CST |
| $sel:attrs:CO_EMPTY | CST |
| $sel:attrs:ST_BINDING | CST |
| $sel:belongs:CO_EMPTY | CST |
| $sel:binding:ARG_EXPR | CST |
| $sel:binding:CO_EMPTY | CST |
| $sel:binding:EX_GLOBAL | CST |
| $sel:binding:IDX_META | CST |
| $sel:binding:ST_BINDING | CST |
| $sel:bindings:BDS_PAIR | CST |
| $sel:bindings:BI_PAIR | CST |
| $sel:bytes:ARG_EXPR | CST |
| $sel:bytes:EX_GLOBAL | CST |
| $sel:bytes:PA_TAU | CST |
| $sel:cmatch:ContextualizeRule | Yaml |
| $sel:condition:CO_EMPTY | CST |
| $sel:conditions:CO_EMPTY | CST |
| $sel:count:PA_TAU | CST |
| $sel:cresult:ContextualizeRule | Yaml |
| $sel:delta:AT_LABEL | CST |
| $sel:description:Rule | Yaml |
| $sel:dots:AT_LABEL | CST |
| $sel:dresult:DataizeRule | Yaml |
| $sel:ematch:DataizeRule | Yaml |
| $sel:ematch:MorphRule | Yaml |
| $sel:eol':EX_GLOBAL | CST |
| $sel:eol:AAS_EXPR | CST |
| $sel:eol:BDS_PAIR | CST |
| $sel:eol:EX_GLOBAL | CST |
| $sel:equal:CO_EMPTY | CST |
| $sel:excl:META | CST |
| $sel:expr:AAS_EXPR | CST |
| $sel:expr:APP_ARG | CST |
| $sel:expr:ARG_EXPR | CST |
| $sel:expr:CMP_ATTR | CST |
| $sel:expr:CO_EMPTY | CST |
| $sel:expr:EX_GLOBAL | CST |
| $sel:expr:PA_TAU | CST |
| $sel:formation:EX_GLOBAL | CST |
| $sel:func:EXTRA | CST |
| $sel:func:PA_TAU | CST |
| $sel:function:Extra | Yaml |
| $sel:global:EX_GLOBAL | CST |
| $sel:groups:CO_EMPTY | CST |
| $sel:having:Rule | Yaml |
| $sel:hd:META | CST |
| $sel:idx:AL_IDX | CST |
| $sel:idx:EX_GLOBAL | CST |
| $sel:indent:EX_GLOBAL | CST |
| $sel:indent:TAB | CST |
| $sel:label:AT_LABEL | CST |
| $sel:label:ContextualizeRule | Yaml |
| $sel:label:DataizeRule | Yaml |
| $sel:label:MorphRule | Yaml |
| $sel:label:Rule | Yaml |
| $sel:lambda:AT_LABEL | CST |
| $sel:left:CO_EMPTY | CST |
| $sel:lsb:EX_GLOBAL | CST |
| $sel:match:ContextualizeRule | Yaml |
| $sel:match:DataizeRule | Yaml |
| $sel:match:MorphRule | Yaml |
| $sel:meta:AL_IDX | CST |
| $sel:meta:AT_LABEL | CST |
| $sel:meta:BDS_PAIR | CST |
| $sel:meta:BI_PAIR | CST |
| $sel:meta:EXTRA | CST |
| $sel:meta:Extra | Yaml |
| $sel:meta:EX_GLOBAL | CST |
| $sel:meta:IDX_META | CST |
| $sel:meta:PA_TAU | CST |
| $sel:name:ContextualizeRule | Yaml |
| $sel:name:DataizeRule | Yaml |
| $sel:name:MorphRule | Yaml |
| $sel:name:Rule | Yaml |
| $sel:nonfinite:EX_GLOBAL | CST |
| $sel:nresult:MorphRule | Yaml |
| $sel:num:CMP_ATTR | CST |
| $sel:num:EX_GLOBAL | CST |
| $sel:num:IDX_META | CST |
| $sel:operation:Premise | Yaml |
| $sel:operator:CO_EMPTY | CST |
| $sel:pair:APP_BINDING | CST |
| $sel:pair:BDS_PAIR | CST |
| $sel:pair:BI_PAIR | CST |
| $sel:pair:EX_GLOBAL | CST |
| $sel:pattern:Rule | Yaml |
| $sel:phi:AT_LABEL | CST |
| $sel:prefix:EX_GLOBAL | CST |
| $sel:premises:ContextualizeRule | Yaml |
| $sel:premises:DataizeRule | Yaml |
| $sel:premises:MorphRule | Yaml |
| $sel:regex:CO_EMPTY | CST |
| $sel:rest:META | CST |
| $sel:result:Premise | Yaml |
| $sel:result:Rule | Yaml |
| $sel:rho:AT_LABEL | CST |
| $sel:rhos:EX_GLOBAL | CST |
| $sel:right:CO_EMPTY | CST |
| $sel:rsb:EX_GLOBAL | CST |
| $sel:set:CO_EMPTY | CST |
| $sel:space:EX_GLOBAL | CST |
| $sel:str:EX_GLOBAL | CST |
| $sel:sym:AL_IDX | CST |
| $sel:tab':EX_GLOBAL | CST |
| $sel:tab:AAS_EXPR | CST |
| $sel:tab:BDS_PAIR | CST |
| $sel:tab:BI_PAIR | CST |
| $sel:tab:EX_GLOBAL | CST |
| $sel:termination:EX_GLOBAL | CST |
| $sel:void:PA_TAU | CST |
| $sel:voids:PA_TAU | CST |
| $sel:when:DataizeRule | Yaml |
| $sel:when:MorphRule | Yaml |
| $sel:when:Rule | Yaml |
| $sel:where_:Rule | Yaml |
| $sel:xi:EX_GLOBAL | CST |
| $sel:_abridged:OptsDataize | CLI.Types |
| $sel:_abridged:OptsMorph | CLI.Types |
| $sel:_abridged:PrintCtx | CLI.Types |
| $sel:_abridgedData:OptsDataize | CLI.Types |
| $sel:_abridgedData:OptsMorph | CLI.Types |
| $sel:_abridgedData:PrintCtx | CLI.Types |
| $sel:_acyclic:OptsDataize | CLI.Types |
| $sel:_acyclic:OptsMorph | CLI.Types |
| $sel:_acyclic:ReduceContext | Morph |
| $sel:_breakpoint:OptsRewrite | CLI.Types |
| $sel:_breakpoint:RewriteContext | Rewriter |
| $sel:_buildTerm:ReduceContext | Morph |
| $sel:_buildTerm:RewriteContext | Rewriter |
| $sel:_canonize:OptsDataize | CLI.Types |
| $sel:_canonize:OptsMorph | CLI.Types |
| $sel:_canonize:OptsRewrite | CLI.Types |
| $sel:_canonize:PrintCtx | CLI.Types |
| $sel:_ceiling:Tally | Morph |
| $sel:_command:CliArgs | CLI.Types |
| $sel:_compress:OptsDataize | CLI.Types |
| $sel:_compress:OptsMorph | CLI.Types |
| $sel:_compress:OptsRewrite | CLI.Types |
| $sel:_compress:PrintCtx | CLI.Types |
| $sel:_contextualize:OptsExplain | CLI.Types |
| $sel:_count:Tally | Morph |
| $sel:_dataize:OptsExplain | CLI.Types |
| $sel:_deadline:ReduceContext | Morph |
| $sel:_depthSensitive:OptsDataize | CLI.Types |
| $sel:_depthSensitive:OptsMorph | CLI.Types |
| $sel:_depthSensitive:OptsRewrite | CLI.Types |
| $sel:_depthSensitive:ReduceContext | Morph |
| $sel:_depthSensitive:RewriteContext | Rewriter |
| $sel:_engine:ReduceContext | Morph |
| $sel:_entered:ReduceContext | Morph |
| $sel:_evaluate:ReduceContext | Morph |
| $sel:_expression:OptsDataize | CLI.Types |
| $sel:_expression:OptsMorph | CLI.Types |
| $sel:_expression:OptsRewrite | CLI.Types |
| $sel:_expression:PrintCtx | CLI.Types |
| $sel:_flat:OptsDataize | CLI.Types |
| $sel:_flat:OptsMatch | CLI.Types |
| $sel:_flat:OptsMerge | CLI.Types |
| $sel:_flat:OptsMorph | CLI.Types |
| $sel:_flat:OptsRewrite | CLI.Types |
| $sel:_focus:OptsDataize | CLI.Types |
| $sel:_focus:OptsMorph | CLI.Types |
| $sel:_focus:OptsRewrite | CLI.Types |
| $sel:_focus:PrintCtx | CLI.Types |
| $sel:_headers:OptsDataize | CLI.Types |
| $sel:_headers:OptsMorph | CLI.Types |
| $sel:_headers:OptsRewrite | CLI.Types |
| $sel:_headers:PrintCtx | CLI.Types |
| $sel:_hide:OptsDataize | CLI.Types |
| $sel:_hide:OptsMorph | CLI.Types |
| $sel:_hide:OptsRewrite | CLI.Types |
| $sel:_hideRho:OptsDataize | CLI.Types |
| $sel:_hideRho:OptsMorph | CLI.Types |
| $sel:_hideRho:OptsRewrite | CLI.Types |
| $sel:_hideRho:PrintCtx | CLI.Types |
| $sel:_inPlace:OptsRewrite | CLI.Types |
| $sel:_inputFile:OptsDataize | CLI.Types |
| $sel:_inputFile:OptsMatch | CLI.Types |
| $sel:_inputFile:OptsMorph | CLI.Types |
| $sel:_inputFile:OptsRewrite | CLI.Types |
| $sel:_inputFormat:OptsDataize | CLI.Types |
| $sel:_inputFormat:OptsMerge | CLI.Types |
| $sel:_inputFormat:OptsMorph | CLI.Types |
| $sel:_inputFormat:OptsRewrite | CLI.Types |
| $sel:_inputs:OptsMerge | CLI.Types |
| $sel:_inside:OptsDataize | CLI.Types |
| $sel:_inside:OptsMorph | CLI.Types |
| $sel:_judgment:ReduceContext | Morph |
| $sel:_label:OptsDataize | CLI.Types |
| $sel:_label:OptsMorph | CLI.Types |
| $sel:_label:OptsRewrite | CLI.Types |
| $sel:_label:PrintCtx | CLI.Types |
| $sel:_limit:Steps | Morph |
| $sel:_line:PrintCtx | CLI.Types |
| $sel:_locator:OptsDataize | CLI.Types |
| $sel:_locator:OptsMorph | CLI.Types |
| $sel:_locator:OptsRewrite | CLI.Types |
| $sel:_locator:ReduceContext | Morph |
| $sel:_locator:RewriteContext | Rewriter |
| $sel:_logLevel:OptsCompile | CLI.Types |
| $sel:_logLevel:OptsDataize | CLI.Types |
| $sel:_logLevel:OptsExplain | CLI.Types |
| $sel:_logLevel:OptsMatch | CLI.Types |
| $sel:_logLevel:OptsMerge | CLI.Types |
| $sel:_logLevel:OptsMorph | CLI.Types |
| $sel:_logLevel:OptsRewrite | CLI.Types |
| $sel:_logLines:OptsCompile | CLI.Types |
| $sel:_logLines:OptsDataize | CLI.Types |
| $sel:_logLines:OptsExplain | CLI.Types |
| $sel:_logLines:OptsMatch | CLI.Types |
| $sel:_logLines:OptsMerge | CLI.Types |
| $sel:_logLines:OptsMorph | CLI.Types |
| $sel:_logLines:OptsRewrite | CLI.Types |
| $sel:_margin:OptsDataize | CLI.Types |
| $sel:_margin:OptsMerge | CLI.Types |
| $sel:_margin:OptsMorph | CLI.Types |
| $sel:_margin:OptsRewrite | CLI.Types |
| $sel:_margin:PrintCtx | CLI.Types |
| $sel:_matching:RewriteContext | Rewriter |
| $sel:_maxCycles:OptsDataize | CLI.Types |
| $sel:_maxCycles:OptsMorph | CLI.Types |
| $sel:_maxCycles:OptsRewrite | CLI.Types |
| $sel:_maxCycles:ReduceContext | Morph |
| $sel:_maxCycles:RewriteContext | Rewriter |
| $sel:_maxDepth:OptsDataize | CLI.Types |
| $sel:_maxDepth:OptsMorph | CLI.Types |
| $sel:_maxDepth:OptsRewrite | CLI.Types |
| $sel:_maxDepth:ReduceContext | Morph |
| $sel:_maxDepth:RewriteContext | Rewriter |
| $sel:_maxFirings:OptsDataize | CLI.Types |
| $sel:_maxFirings:OptsMorph | CLI.Types |
| $sel:_maxLoops:OptsDataize | CLI.Types |
| $sel:_maxLoops:OptsMorph | CLI.Types |
| $sel:_maxLoops:ReduceContext | Morph |
| $sel:_maxSeconds:OptsDataize | CLI.Types |
| $sel:_maxSeconds:OptsMorph | CLI.Types |
| $sel:_maxSteps:OptsDataize | CLI.Types |
| $sel:_maxSteps:OptsMorph | CLI.Types |
| $sel:_meetLength:OptsDataize | CLI.Types |
| $sel:_meetLength:OptsMorph | CLI.Types |
| $sel:_meetLength:OptsRewrite | CLI.Types |
| $sel:_meetLength:PrintCtx | CLI.Types |
| $sel:_meetPopularity:OptsDataize | CLI.Types |
| $sel:_meetPopularity:OptsMorph | CLI.Types |
| $sel:_meetPopularity:OptsRewrite | CLI.Types |
| $sel:_meetPopularity:PrintCtx | CLI.Types |
| $sel:_meetPrefix:OptsDataize | CLI.Types |
| $sel:_meetPrefix:OptsMorph | CLI.Types |
| $sel:_meetPrefix:OptsRewrite | CLI.Types |
| $sel:_meetPrefix:PrintCtx | CLI.Types |
| $sel:_memo:ReduceContext | Morph |
| $sel:_minted:ReduceContext | Morph |
| $sel:_monoform:OptsDataize | CLI.Types |
| $sel:_monoform:OptsMatch | CLI.Types |
| $sel:_monoform:OptsMerge | CLI.Types |
| $sel:_monoform:OptsMorph | CLI.Types |
| $sel:_monoform:OptsRewrite | CLI.Types |
| $sel:_morph:OptsExplain | CLI.Types |
| $sel:_must:OptsRewrite | CLI.Types |
| $sel:_must:RewriteContext | Rewriter |
| $sel:_nesting:ReduceContext | Morph |
| $sel:_nonumber:OptsDataize | CLI.Types |
| $sel:_nonumber:OptsMorph | CLI.Types |
| $sel:_nonumber:OptsRewrite | CLI.Types |
| $sel:_nonumber:PrintCtx | CLI.Types |
| $sel:_normal:RewriteContext | Rewriter |
| $sel:_normalize:OptsExplain | CLI.Types |
| $sel:_normalize:OptsRewrite | CLI.Types |
| $sel:_omitComments:OptsDataize | CLI.Types |
| $sel:_omitComments:OptsMerge | CLI.Types |
| $sel:_omitComments:OptsMorph | CLI.Types |
| $sel:_omitComments:OptsRewrite | CLI.Types |
| $sel:_omitListing:OptsDataize | CLI.Types |
| $sel:_omitListing:OptsMerge | CLI.Types |
| $sel:_omitListing:OptsMorph | CLI.Types |
| $sel:_omitListing:OptsRewrite | CLI.Types |
| $sel:_opened:ReduceContext | Morph |
| $sel:_outputFormat:OptsDataize | CLI.Types |
| $sel:_outputFormat:OptsMerge | CLI.Types |
| $sel:_outputFormat:OptsMorph | CLI.Types |
| $sel:_outputFormat:OptsRewrite | CLI.Types |
| $sel:_outputFormat:PrintCtx | CLI.Types |
| $sel:_parked:ReduceContext | Morph |
| $sel:_partial:OptsDataize | CLI.Types |
| $sel:_partial:OptsMorph | CLI.Types |
| $sel:_partial:ReduceContext | Morph |
| $sel:_pattern:OptsMatch | CLI.Types |
| $sel:_pin:CliArgs | CLI.Types |
| $sel:_placed:ReduceContext | Morph |
| $sel:_protocol:OptsDataize | CLI.Types |
| $sel:_protocol:OptsMorph | CLI.Types |
| $sel:_quiet:OptsDataize | CLI.Types |
| $sel:_quiet:OptsMorph | CLI.Types |
| $sel:_reduce:ReduceContext | Morph |
| $sel:_rules:OptsCompile | CLI.Types |
| $sel:_rules:OptsExplain | CLI.Types |
| $sel:_rules:OptsRewrite | CLI.Types |
| $sel:_saveEval:ReduceContext | Morph |
| $sel:_saveMade:RewriteContext | Rewriter |
| $sel:_saveStep:ReduceContext | Morph |
| $sel:_saveStep:RewriteContext | Rewriter |
| $sel:_seconds:Deadline | Morph |
| $sel:_seed:OptsDataize | CLI.Types |
| $sel:_seed:OptsExplain | CLI.Types |
| $sel:_seed:OptsMatch | CLI.Types |
| $sel:_seed:OptsMerge | CLI.Types |
| $sel:_seed:OptsMorph | CLI.Types |
| $sel:_seed:OptsRewrite | CLI.Types |
| $sel:_sequence:OptsDataize | CLI.Types |
| $sel:_sequence:OptsMorph | CLI.Types |
| $sel:_sequence:OptsRewrite | CLI.Types |
| $sel:_sequence:PrintCtx | CLI.Types |
| $sel:_show:OptsDataize | CLI.Types |
| $sel:_show:OptsMorph | CLI.Types |
| $sel:_show:OptsRewrite | CLI.Types |
| $sel:_shuffle:OptsDataize | CLI.Types |
| $sel:_shuffle:OptsExplain | CLI.Types |
| $sel:_shuffle:OptsMorph | CLI.Types |
| $sel:_shuffle:OptsRewrite | CLI.Types |
| $sel:_shuffle:ReduceContext | Morph |
| $sel:_site:ReduceContext | Morph |
| $sel:_spent:Steps | Morph |
| $sel:_steps:ReduceContext | Morph |
| $sel:_stepsDir:OptsDataize | CLI.Types |
| $sel:_stepsDir:OptsMorph | CLI.Types |
| $sel:_stepsDir:OptsRewrite | CLI.Types |
| $sel:_sugar:PrintCtx | CLI.Types |
| $sel:_sugarType:OptsDataize | CLI.Types |
| $sel:_sugarType:OptsMatch | CLI.Types |
| $sel:_sugarType:OptsMerge | CLI.Types |
| $sel:_sugarType:OptsMorph | CLI.Types |
| $sel:_sugarType:OptsRewrite | CLI.Types |
| $sel:_symbolic:OptsDataize | CLI.Types |
| $sel:_symbolic:OptsMorph | CLI.Types |
| $sel:_symbolic:ReduceContext | Morph |
| $sel:_tally:ReduceContext | Morph |
| $sel:_targetFile:OptsCompile | CLI.Types |
| $sel:_targetFile:OptsExplain | CLI.Types |
| $sel:_targetFile:OptsMerge | CLI.Types |
| $sel:_targetFile:OptsRewrite | CLI.Types |
| $sel:_universe:ReduceContext | Morph |
| $sel:_universe:RewriteContext | Rewriter |
| $sel:_until:Deadline | Morph |
| $sel:_update:OptsRewrite | CLI.Types |
| $sel:_when:OptsMatch | CLI.Types |
| $sel:_xmirCtx:PrintCtx | CLI.Types |
| A | CST |
| AAS_EMPTY | CST |
| AAS_EXPR | CST |
| AA_EXPRS | CST |
| AA_TAU | CST |
| AA_TAUS | CST |
| abbreviated | Deps |
| abbreviatedInside | Deps |
| abridged | Abridge |
| Absolute | Yaml |
| Acyclic | Deps |
| admitting | Morph |
| aimed | CLI.Helpers |
| AlAny | AST |
| alias | Deps |
| alike | AST |
| allPathsIn | Files |
| AlMeta | AST |
| ALPHA | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| Alpha | |
| 1 (Type/Class) | AST |
| 2 (Data Constructor) | AST |
| ALPHA' | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| AL_IDX | CST |
| AL_META | CST |
| AND | CST |
| And | Yaml |
| Anon | Matcher |
| anonymous | Slots |
| AnonymousMetaInCondition | CLI.Types |
| Answer | |
| 1 (Type/Class) | Morph |
| 2 (Data Constructor) | Morph |
| answer | Deps |
| Answered | |
| 1 (Data Constructor) | Inference |
| 2 (Data Constructor) | Morph |
| Answering | Lambdas |
| AnyIndex | Yaml |
| anyMeta | CST |
| APP_ARG | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| APP_ARGS | CST |
| APP_ARGUMENT | CST |
| APP_BINDING | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| ArAlpha | AST |
| ArgAttribute | Yaml |
| ArgBinding | Yaml |
| ArgBytes | Yaml |
| ArgExpression | Yaml |
| argInputFile | CLI.Parsers |
| argued | Morph |
| Argument | AST |
| ARG_ATTR | CST |
| ARG_BINDING | CST |
| ARG_BYTES | CST |
| ARG_EXPR | CST |
| ARROW | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| ARROW' | CST |
| ArTau | AST |
| ASCII | Encoding |
| AT | CST |
| AtAny | AST |
| AtDelta | AST |
| AtLabel | AST |
| AtLambda | AST |
| AtMeta | AST |
| atomicModify | Deps |
| Atoms | XMIR |
| AtPhi | AST |
| AtRho | AST |
| ATTRIBUTE | CST |
| Attribute | AST |
| attributeFromBinding | AST, Misc |
| attributesFromBindings | Misc |
| attributesFromBindings' | Misc |
| attributeToCST | CST |
| AT_DELTA | CST |
| AT_LABEL | CST |
| AT_LAMBDA | CST |
| AT_META | CST |
| AT_PHI | CST |
| AT_REST | CST |
| AT_RHO | CST |
| awaited | Morph |
| B | CST |
| B' | CST |
| bare | Metas |
| BaseObject | AST |
| BDS_EMPTY | CST |
| BDS_META | CST |
| BDS_PAIR | CST |
| BELONGING | CST |
| BiAny | AST |
| BiDelta | AST |
| BIG_LCB | CST |
| BIG_RCB | CST |
| BiLambda | AST |
| BiMeta | AST |
| BINDING | CST |
| Binding | AST |
| BINDINGS | CST |
| bindingsToCST | CST |
| BiTau | AST |
| BiVoid | AST |
| BI_EMPTY | CST |
| BI_META | CST |
| BI_PAIR | CST |
| boundedIntOption | CLI.Parsers |
| boxed | Morph |
| BrokenLambdas | Lambdas |
| BtAny | AST |
| BtEmpty | AST |
| BtMany | AST |
| BtMeta | AST |
| BtOne | AST |
| btsAnd | Bytes |
| btsConcat | Bytes |
| btsEqual | Bytes |
| btsIsUtf8 | Bytes |
| btsNot | Bytes |
| btsOr | Bytes |
| btsShift | Bytes |
| btsSize | Bytes |
| btsSlice | Bytes |
| btsToNonFinite | Bytes |
| btsToNum | Bytes |
| btsToStr | Bytes |
| btsToUnescapedStr | Bytes |
| BT_CUT | CST |
| BT_EMPTY | CST |
| BT_MANY | CST |
| BT_META | CST |
| BT_ONE | CST |
| BT_PIPED | CST |
| buildAttribute | Builder |
| buildAttributeThrows | Builder |
| buildBinding | Builder |
| buildBindingThrows | Builder |
| buildBindingUnchecked | Builder |
| buildBytes | Builder |
| buildBytesThrows | Builder |
| BuildException | Builder |
| buildExpression | Builder |
| buildExpressionsThrows | Builder |
| buildExpressionThrows | Builder |
| buildFunctions | Functions |
| building | Engine |
| buildTerm | Functions |
| BuildTermFunc | Deps |
| BuildTermMethod | Deps |
| BuildTermMethodS | Deps |
| BYTES | CST |
| Bytes | AST |
| BytesException | Bytes |
| bytesToBts | Bytes |
| called | Morph |
| CanNotFindObjectByLocator | Locator |
| CanNotHideWholeProgram | Locator |
| canonize | Canonizer |
| canonizeExpr | Canonizer |
| CARET | CST |
| carried | Morph |
| Cast | Lambdas |
| cast | Lambdas |
| certainty | Deps |
| charged | Morph |
| clearedStepsDir | CLI.Helpers |
| CliArgs | |
| 1 (Type/Class) | CLI.Types |
| 2 (Data Constructor) | CLI.Types |
| cliArgsParser | CLI.Parsers |
| closed | Deps |
| CmdCompile | CLI.Types |
| CmdDataize | CLI.Types |
| CmdException | CLI.Types |
| CmdExplain | CLI.Types |
| CmdMatch | CLI.Types |
| CmdMerge | CLI.Types |
| CmdMorph | CLI.Types |
| CmdRewrite | CLI.Types |
| CmpAttr | Yaml |
| CmpExpr | Yaml |
| CmpNum | Yaml |
| CMP_ATTR | CST |
| CMP_EXPR | CST |
| CMP_NUM | CST |
| coined | Morph |
| combine | Matcher |
| combineMany | Matcher |
| COMMA | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| Command | CLI.Types |
| commanded | Deps |
| commandParser | CLI.Parsers |
| COMPARABLE | CST |
| Comparable | Yaml |
| comparableToCST | CST |
| compile | Regexp |
| compiled | Compiled |
| compileParser | CLI.Parsers |
| concluded | Contextualize |
| Concludes | Inference |
| Conclusion | Inference |
| CONDITION | CST |
| Condition | Yaml |
| conditionToCST | CST |
| conditionToLatex | LaTeX |
| Contextualization | Deps |
| contextualizationRules | Yaml |
| contextualize | Contextualize |
| ContextualizeException | Contextualize |
| ContextualizeRule | |
| 1 (Type/Class) | Yaml |
| 2 (Data Constructor) | Yaml |
| Contextualizes | Inference |
| contextualizing | Functions |
| CouldNotBuildAttribute | Builder |
| CouldNotBuildBinding | Builder |
| CouldNotBuildBytes | Builder |
| CouldNotBuildExpression | Builder |
| CouldNotCompile | CLI.Types |
| CouldNotDataize | CLI.Types |
| CouldNotParseAttribute | Parser |
| CouldNotParseExpression | Parser |
| CouldNotParseNumber | Parser |
| CouldNotPrintExpressionInXMIR | CLI.Types |
| CouldNotReadFromStdin | CLI.Types |
| counted | Morph |
| countNodes | AST |
| CO_ABSOLUTE | CST |
| CO_BELONGS | CST |
| CO_COMPARE | CST |
| CO_DISJOINT | CST |
| CO_EMPTY | CST |
| CO_FORMATION | CST |
| CO_LOGIC | CST |
| CO_MATCHES | CST |
| CO_NF | CST |
| CO_NOT | CST |
| CO_PART_OF | CST |
| CO_SUBSET | CST |
| current | Engine |
| D | CST |
| D' | CST |
| D'' | CST |
| DASHED_ARROW | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| dataBytes | AST |
| Dataization | Deps |
| dataizationOf | Inference |
| dataizationRules | Yaml |
| dataizationSpine | Inference |
| dataize | Dataize |
| dataize' | Dataize |
| Dataized | |
| 1 (Data Constructor) | Lambdas |
| 2 (Data Constructor) | Dataize |
| dataizeParser | CLI.Parsers |
| DataizeRule | |
| 1 (Type/Class) | Yaml |
| 2 (Data Constructor) | Yaml |
| DataNumber | AST |
| DataObject | AST |
| DataString | AST |
| DEAD | CST |
| Deadline | |
| 1 (Type/Class) | Morph |
| 2 (Data Constructor) | Morph |
| DEBUG | Logger |
| decodeRule | Yaml |
| deeper | Morph |
| defaultLatexContext | LaTeX |
| defaultMargin | Margin |
| defaultMeetLength | LaTeX |
| defaultMeetPopularity | LaTeX |
| defaultXmirContext | XMIR |
| Deferred | Lambdas |
| DELTA | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| DELTA' | CST |
| denoted | AST |
| direct | |
| 1 (Function) | Rewriter |
| 2 (Function) | Inference |
| DirectoryDoesNotExist | Files |
| Disjoint | Yaml |
| distinct | AST |
| Diverged | Morph |
| DOLLAR | CST |
| DOMAIN | CST |
| Domain | Yaml |
| domainOf | Rule |
| dontSaveEval | Deps |
| dontSaveMade | Deps |
| dontSaveStep | Deps |
| DOTS | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| DOTS' | CST |
| dotted | Deps |
| E | CST |
| E' | CST |
| emitted | Emit |
| EMPTY | CST |
| emptyLambdas | Lambdas |
| emptyNesting | Deps |
| emptyProgress | Deps |
| emptyProtocol | Deps |
| emptyState | Morph |
| EmptySubstsOnMatch | CLI.Types |
| Encoding | Encoding |
| ended | Morph |
| endEval | Deps |
| endEvalXml | Deps |
| Ending | Lambdas |
| Engine | |
| 1 (Type/Class) | Engine |
| 2 (Data Constructor) | Engine |
| engine | CLI.Helpers |
| ensuredFile | Files |
| enter | Morph |
| entering | Morph |
| EOL | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| Eq | Yaml |
| EQUAL | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| ERROR | Logger |
| escapeXML | XMIR |
| escapeXMLText | XMIR |
| Evaluated | Lambdas |
| Evaluates | Inference |
| Evaluation | |
| 1 (Type/Class) | Deps |
| 2 (Data Constructor) | Deps |
| evaluation | Evaluate |
| EvaluationFunc | Morph |
| EvAnswer | Deps |
| EvApplied | Deps |
| EvBound | Deps |
| EvBoxed | Deps |
| EvBuilt | Deps |
| EvCast | Deps |
| EvData | Deps |
| EvDeferred | Deps |
| EvDelta | Deps |
| EvDiverged | Deps |
| every | Rewriter |
| EvFabricated | Deps |
| EvFiring | Deps |
| EvHeader | Deps |
| EvJoined | Deps |
| EvLooped | Deps |
| EvManufactured | Deps |
| EvMinted | Deps |
| EvMorphed | Deps |
| EvReshaped | Deps |
| EvRun | Deps |
| EvSpent | Deps |
| EvStall | Deps |
| EvStarted | Deps |
| EvStarved | Deps |
| EvStuck | Deps |
| EvStuckOn | Deps |
| EvSymbolized | Deps |
| EvTaken | Deps |
| EvTerm | Deps |
| EvTimeout | Deps |
| EvUndressed | Deps |
| EvUnripe | Deps |
| EvWorld | Deps |
| ExAny | AST |
| ExApplication | AST |
| ExBytes | AST |
| exceedsUpperBound | Must |
| EXCL | CST |
| EXCLAMATION | CST |
| exclude | Filter |
| exclude' | Filter |
| ExDispatch | AST |
| execBuildTerm | Morph |
| execFunctions | Functions |
| ExFormation | AST |
| ExMeta | AST |
| exMetaHead | CST |
| ExPhiAgain | AST |
| ExPhiMeet | AST |
| expired | Morph |
| explainContextualizeRules | LaTeX |
| explainDataizeRules | LaTeX |
| explainMorphRules | LaTeX |
| explainParser | CLI.Parsers |
| explainRules | LaTeX |
| EXPRESSION | CST |
| Expression | AST |
| expressionToCST | CST |
| expressionToCSTFrom | CST |
| expressionToLaTeX | LaTeX |
| expressionToXMIR | XMIR |
| ExRoot | AST |
| ExTermination | AST |
| EXTRA | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| Extra | |
| 1 (Type/Class) | Yaml |
| 2 (Data Constructor) | Yaml |
| ExtraArgument | Yaml |
| extractGroups | Regexp |
| extractGroupsWith | Regexp |
| extraToCST | CST |
| EXTRA_ARG | CST |
| ExXi | AST |
| EX_APPLICATION | CST |
| EX_ATTR | CST |
| EX_BYTES | CST |
| EX_DISPATCH | CST |
| EX_FORMATION | CST |
| EX_GLOBAL | CST |
| EX_META | CST |
| EX_NONFINITE | CST |
| EX_NUMBER | CST |
| EX_PHI_AGAIN | CST |
| EX_PHI_MEET | CST |
| EX_SINGLE | CST |
| EX_STRING | CST |
| EX_TERMINATION | CST |
| EX_XI | CST |
| F | CST |
| F' | CST |
| F'' | CST |
| fast | Rewriter |
| FileDoesNotExist | Files |
| filteredAt | CLI.Helpers |
| fired | Morph |
| Firing | |
| 1 (Type/Class) | Morph |
| 2 (Data Constructor) | Morph |
| fitting | Matcher |
| flattened | CLI.Helpers |
| FnAny | AST |
| FnFresh | AST |
| FnMeta | AST |
| FnSymbol | AST |
| forked | Forks |
| Form | Parser |
| formed | Builder |
| found | Deps |
| fqn | Locator |
| fqnToAttrs | Misc |
| fragment | Deps |
| fresh | Engine |
| freshTau | Tau |
| FsException | Files |
| Function | |
| 1 (Type/Class) | AST |
| 2 (Data Constructor) | AST |
| getRules | CLI.Helpers |
| gitRevision | XMIR |
| GLOBAL | CST |
| GREATER | CST |
| Gt | Yaml |
| hashExpression | AST |
| hashShape | AST |
| hashSkeleton | AST |
| Header | |
| 1 (Type/Class) | Deps |
| 2 (Data Constructor) | Deps |
| headerOf | CLI.Helpers |
| heading | CLI.Helpers |
| hidden | CLI.Helpers |
| hits | Matcher |
| Holding | Forks |
| I | CST |
| I' | CST |
| IDX_META | CST |
| ieee | Deps |
| IN | CST |
| In | Yaml |
| include | Filter |
| include' | Filter |
| indented | Deps |
| indentedXml | Deps |
| inert | AST |
| Inference | Inference |
| inferred | Morph |
| INFO | Logger |
| inRange | Must |
| insideUniverse | Morph |
| interpreted | Rewriter |
| InvalidCLIArguments | CLI.Types |
| invalidCLIArguments | CLI.Validators |
| InvalidLocatorProvided | Locator |
| InvalidNumberLength | Bytes |
| IOFormat | CLI.Types |
| IsFormation | Yaml |
| isFormation | Rule |
| isLambda | Morph |
| isNF | Rule |
| isStepFileName | CLI.Helpers |
| Joined | Morph |
| joined | Forks |
| Joining | Lambdas |
| Judgment | Deps |
| justMeetLength | CLI.Helpers |
| justMeetPopularity | CLI.Helpers |
| K | CST |
| K' | CST |
| Kept | Morph |
| LAMBDA | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| Lambda | |
| 1 (Type/Class) | Lambdas |
| 2 (Data Constructor) | Lambdas |
| lambda | Morph |
| LAMBDA' | CST |
| LambdaException | Lambdas |
| lambdaNames | Canonizer |
| Lambdas | Lambdas |
| lambdasOf | CLI.Helpers |
| Language | Language |
| language | Language |
| LATEX | CLI.Types |
| LatexContext | |
| 1 (Type/Class) | LaTeX |
| 2 (Data Constructor) | LaTeX |
| LCB | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| leadsTo | Morph |
| Lefthand | Forks |
| LENGTH | CST |
| Length | Yaml |
| letter | Deps |
| lifted | AST |
| Line | Lambdas |
| LineFormat | Lining |
| LITERAL | CST |
| Literal | Yaml |
| loadRule | CLI.Helpers |
| locatedExpression | Locator |
| LocatorException | Locator |
| lodged | Deps |
| logDebug | Logger |
| logError | Logger |
| logging | Logger |
| LOGIC_OPERATOR | CST |
| logInfo | Logger |
| LogLevel | Logger |
| logPrintConfig | Printer |
| lonely | Metas |
| Looped | Morph |
| Looping | Morph |
| LoopingAt | Morph |
| LSB | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| LSB' | CST |
| match | Regexp |
| matchAlpha | Matcher |
| matchArgument | Matcher |
| matchAttribute | Matcher |
| matchBaseObject | AST |
| matchBinding | Matcher |
| matchBindings | Matcher |
| matchBindingsMeta | Matcher |
| matchDataObject | AST |
| matched | Lambdas |
| Matches | Yaml |
| matchExpression | Matcher |
| matchExpression' | Matcher |
| matchExpressionDeep | Matcher |
| matchExpressionDeep' | Matcher |
| MatchExpressionFunc | Matcher |
| matchExpressionWithRule | Rule |
| matchExpressionWithRule' | Rule |
| matchFunction | Matcher |
| matchParser | CLI.Parsers |
| meetCondition | Rule |
| meetInExpression | LaTeX |
| meetInExpressions | LaTeX |
| Memo | |
| 1 (Type/Class) | Morph |
| 2 (Data Constructor) | Morph |
| memoized | Morph |
| merge | Merge |
| mergeParser | CLI.Parsers |
| message | Parser |
| META | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| Meta | |
| 1 (Type/Class) | Matcher |
| 2 (Type/Class) | Lambdas |
| 3 (Data Constructor) | Lambdas |
| MetaIndex | Yaml |
| Metas | Metas |
| metas | Metas |
| metaTail | CST |
| MetaValue | Matcher |
| META_HEAD | CST |
| milliseconds | Deps |
| minted | Lambdas |
| MONOFORM | Parser |
| morph | Morph |
| morph' | Morph |
| Morphed | |
| 1 (Data Constructor) | Lambdas |
| 2 (Type/Class) | Morph |
| Morphing | Deps |
| morphing | Morph |
| morphingOf | Inference |
| morphingRules | Yaml |
| morphingSpine | Inference |
| morphParser | CLI.Parsers |
| MorphRule | |
| 1 (Type/Class) | Yaml |
| 2 (Data Constructor) | Yaml |
| Morphs | Inference |
| MtDisabled | Must |
| MtExact | Must |
| MtRange | Must |
| MULTILINE | Lining |
| Must | Must |
| MvAttribute | Matcher |
| MvBindings | Matcher |
| MvBytes | Matcher |
| MvExpression | Matcher |
| MvFunction | Matcher |
| MvIndex | Matcher |
| N | CST |
| N' | CST |
| Named | |
| 1 (Data Constructor) | Matcher |
| 2 (Type/Class) | Deps |
| 3 (Data Constructor) | Inference |
| named | Matcher |
| namedFormation | Deps |
| namedInsert | Deps |
| namedLookup | Deps |
| nameIn | Builder |
| nameOf | Functions |
| Naming | Deps |
| Nesting | |
| 1 (Type/Class) | Deps |
| 2 (Data Constructor) | Deps |
| NF | Yaml |
| NfNan | Bytes |
| NfNinf | Bytes |
| NfPinf | Bytes |
| NONE | Logger |
| NonFinite | Bytes |
| nonFiniteBts | Bytes |
| nonFiniteName | Bytes |
| nonFiniteOf | Bytes |
| nonFinites | Bytes |
| normal | Rule |
| normalHeld | Rule |
| Normalization | Deps |
| normalizationRules | Yaml |
| Normalized | Inference |
| normalized | Morph |
| normalWith | Rule |
| Not | Yaml |
| NOT_EQUAL | CST |
| NOT_GREATER | CST |
| NOT_IN | CST |
| NO_COMMA | CST |
| NO_EOL | CST |
| NO_EXCL | CST |
| NO_SPACE | CST |
| NO_TAB | CST |
| NUMBER | CST |
| Number | Yaml |
| numberToCST | CST |
| numToBts | Bytes |
| Onward | Inference |
| onward | Morph |
| OpContextualize | Yaml |
| OpDataize | Yaml |
| opened | Deps |
| opening | Morph |
| Operation | Yaml |
| OpEvaluate | Yaml |
| OpMorph | Yaml |
| OpNormalize | Yaml |
| optAbridged | CLI.Parsers |
| optAbridgedData | CLI.Parsers |
| optAcyclic | CLI.Parsers |
| optBreakpoint | CLI.Parsers |
| optCanonize | CLI.Parsers |
| optCompress | CLI.Parsers |
| optContextualize | CLI.Parsers |
| optDataize | CLI.Parsers |
| optDepthSensitive | CLI.Parsers |
| optExpression | CLI.Parsers |
| optFocus | CLI.Parsers |
| optHeaders | CLI.Parsers |
| optHide | CLI.Parsers |
| optHideRho | CLI.Parsers |
| optInputFormat | CLI.Parsers |
| optInside | CLI.Parsers |
| optLabel | CLI.Parsers |
| optLineFormat | CLI.Parsers |
| optLineFormat' | CLI.Parsers |
| optLocator | CLI.Parsers |
| optLogLevel | CLI.Parsers |
| optLogLines | CLI.Parsers |
| optMargin | CLI.Parsers |
| optMaxCycles | CLI.Parsers |
| optMaxDepth | CLI.Parsers |
| optMaxFirings | CLI.Parsers |
| optMaxLoops | CLI.Parsers |
| optMaxSeconds | CLI.Parsers |
| optMaxSteps | CLI.Parsers |
| optMeetLength | CLI.Parsers |
| optMeetPopularity | CLI.Parsers |
| optMeetPrefix | CLI.Parsers |
| optMonoform | CLI.Parsers |
| optMorph | CLI.Parsers |
| optMust | CLI.Parsers |
| optNonumber | CLI.Parsers |
| optNormalize | CLI.Parsers |
| optOmitComments | CLI.Parsers |
| optOmitListing | CLI.Parsers |
| optOutputFormat | CLI.Parsers |
| optPartial | CLI.Parsers |
| optPin | CLI.Parsers |
| optProtocol | CLI.Parsers |
| optRule | CLI.Parsers |
| OptsCompile | |
| 1 (Type/Class) | CLI.Types |
| 2 (Data Constructor) | CLI.Types |
| OptsDataize | |
| 1 (Type/Class) | CLI.Types |
| 2 (Data Constructor) | CLI.Types |
| optSeed | CLI.Parsers |
| optSequence | CLI.Parsers |
| OptsExplain | |
| 1 (Type/Class) | CLI.Types |
| 2 (Data Constructor) | CLI.Types |
| optShow | CLI.Parsers |
| optShuffle | CLI.Parsers |
| OptsMatch | |
| 1 (Type/Class) | CLI.Types |
| 2 (Data Constructor) | CLI.Types |
| OptsMerge | |
| 1 (Type/Class) | CLI.Types |
| 2 (Data Constructor) | CLI.Types |
| OptsMorph | |
| 1 (Type/Class) | CLI.Types |
| 2 (Data Constructor) | CLI.Types |
| OptsRewrite | |
| 1 (Type/Class) | CLI.Types |
| 2 (Data Constructor) | CLI.Types |
| optStepsDir | CLI.Parsers |
| optSugar | CLI.Parsers |
| optSugar' | CLI.Parsers |
| optSymbolic | CLI.Parsers |
| optTarget | CLI.Parsers |
| OR | CST |
| Or | Yaml |
| origin | Morph |
| orThrow | Misc |
| Outcome | Dataize |
| OutOfSteps | Morph |
| OutOfStepsAt | Morph |
| OutOfTime | Morph |
| overwrite | Files |
| PAIR | CST |
| parking | Morph |
| parseAlpha | Parser |
| parseAttribute | Parser |
| parseAttributeThrows | Parser |
| parseBinding | Parser |
| parseBytes | Parser |
| parseCondition | |
| 1 (Function) | Yaml |
| 2 (Function) | Condition |
| parseConditionThrows | Condition |
| parseExpression | Parser |
| parseExpression' | Parser |
| parseExpressionThrows | Parser |
| parseExpressionThrows' | Parser |
| parseIndex | Parser |
| parseInput | CLI.Helpers |
| parseInputWithAtoms | CLI.Helpers |
| parseIOFormat | CLI.Parsers |
| parseJSON' | Yaml |
| parseLabel | Yaml |
| parseNumber | Parser |
| parseNumberThrows | Parser |
| ParserException | Parser |
| parserInfo | CLI.Parsers |
| parseXMIR | XMIR |
| parseXMIRThrows | XMIR |
| PartOf | Yaml |
| PathIsDirectory | Files |
| pathOf | Builder |
| PA_ALPHA | CST |
| PA_DELTA | CST |
| PA_DELTA' | CST |
| PA_FOLDED | CST |
| PA_FORMATION | CST |
| PA_LAMBDA | CST |
| PA_LAMBDA' | CST |
| PA_META_DELTA | CST |
| PA_META_DELTA' | CST |
| PA_META_LAMBDA | CST |
| PA_META_LAMBDA' | CST |
| PA_TAU | CST |
| PA_VOID | CST |
| perSecond | Deps |
| PHI | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| 3 (Data Constructor) | CLI.Types |
| PhiParser | |
| 1 (Type/Class) | Parser |
| 2 (Data Constructor) | Parser |
| phiParser | Parser |
| Pin | CLI.Types |
| PinFile | CLI.Types |
| pinned | Matcher |
| PinVersion | CLI.Types |
| Plausible | Deps |
| POLYFORM | Parser |
| Premise | |
| 1 (Type/Class) | Yaml |
| 2 (Data Constructor) | Yaml |
| premiseOperation | Yaml |
| premiseResult | Yaml |
| Premises | Inference |
| presentIn | Rule |
| printAlpha | Printer |
| printAnswer | CLI.Helpers |
| printAttribute | Printer |
| printBinding | Printer |
| printBytes | Printer |
| PrintConfig | Printer |
| PrintContext | CLI.Types |
| PrintCtx | CLI.Types |
| printCtxToLatexCtx | CLI.Helpers |
| printExpression | |
| 1 (Function) | Printer |
| 2 (Function) | CLI.Helpers |
| printExpression' | Printer |
| printExpressionHidingRho' | Printer |
| printExpressionWith | Printer |
| printExtraArg | Printer |
| printFocused | CLI.Helpers |
| printFunction | Printer |
| printInFormat | CLI.Helpers |
| printOut | CLI.Helpers |
| printPhi | CLI.Helpers |
| printRewrittens | CLI.Helpers |
| printSubsts | Printer |
| printSubsts' | Printer |
| printXMIR | XMIR |
| Progress | |
| 1 (Type/Class) | Deps |
| 2 (Data Constructor) | Deps |
| progressed | Deps |
| Protocol | |
| 1 (Type/Class) | Deps |
| 2 (Data Constructor) | Deps |
| Proven | Deps |
| Q | CST |
| QUESTION | CST |
| randomString | Random |
| RCB | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| reachable | Matcher |
| reachable' | Matcher |
| readInput | CLI.Helpers |
| readLambdas | Lambdas |
| recalled | Morph |
| redex | Rule |
| ReduceContext | |
| 1 (Type/Class) | Morph |
| 2 (Data Constructor) | Morph |
| ReduceException | Morph |
| reduction | Dataize |
| ReductionFunc | Morph |
| referenceless | Yaml |
| Refusal | Forks |
| refused | |
| 1 (Function) | Deps |
| 2 (Function) | Morph |
| Regex | |
| 1 (Type/Class) | Regexp |
| 2 (Data Constructor) | Regexp |
| regexExecutionFailed | Regexp |
| remember | Morph |
| remembered | Morph |
| renameAtoms | XMIR |
| Render | Render |
| render | Render |
| repeated | AST |
| replaceAll | Regexp |
| replaceExpression | Replacer |
| replaceExpressionFast | Replacer |
| ReplaceExpressionFunc | Replacer |
| replaceFirst | Regexp |
| Residual | Dataize |
| resited | Deps |
| retained | Morph |
| revealXi | Sugar |
| rewrite | Rewriter |
| RewriteContext | |
| 1 (Type/Class) | Rewriter |
| 2 (Data Constructor) | Rewriter |
| rewriteParser | CLI.Parsers |
| Rewritten | |
| 1 (Type/Class) | Rewriter |
| 2 (Data Constructor) | Lambdas |
| rewritten | Lambdas |
| Rewrittens | Rewriter |
| Rewrittens' | Rewriter |
| rewrittensToLatex | LaTeX |
| RHO | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| RHO' | CST |
| Righthand | Forks |
| RSB | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| RSB' | CST |
| Rule | |
| 1 (Type/Class) | Yaml |
| 2 (Data Constructor) | Yaml |
| RuleContext | |
| 1 (Type/Class) | Rule |
| 2 (Data Constructor) | Rule |
| runCLI | CLI |
| runCompile | CLI.Runners |
| runDataize | CLI.Runners |
| runExplain | CLI.Runners |
| runMatch | CLI.Runners |
| runMerge | CLI.Runners |
| runMorph | CLI.Runners |
| runRewrite | CLI.Runners |
| S | CST |
| S' | CST |
| S'' | CST |
| salted | CLI.Helpers |
| SALTY | Sugar |
| saveEval | Deps |
| SaveEvalFunc | Deps |
| saveEvalXml | Deps |
| SaveMadeFunc | Deps |
| saveStep | Deps |
| SaveStepFunc | Deps |
| saveStepFunc | CLI.Helpers |
| seedTaus | Tau |
| Seen | Rewriter |
| seenInsert | Rewriter |
| seenMember | Rewriter |
| SET | CST |
| setLogConfig | Logger |
| settled | Morph |
| severing | Morph |
| shared | Language |
| shiftYamlError | Yaml |
| shuffle | Random |
| Side | Forks |
| sigil | Deps |
| SINGLELINE | Lining |
| sites | Matcher |
| sized | Lambdas |
| Slot | |
| 1 (Type/Class) | AST |
| 2 (Data Constructor) | AST |
| Slots | Slots |
| slots | Slots |
| SPACE | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| splits | Matcher |
| Staged | Inference |
| StaleEngine | CLI.Types |
| Stalled | Morph |
| standing | Deps |
| started | CLI.Helpers |
| starved | Morph |
| State | |
| 1 (Type/Class) | Deps |
| 2 (Data Constructor) | Deps |
| Stayed | Lambdas |
| stayed | Lambdas |
| Step | |
| 1 (Type/Class) | Rule |
| 2 (Data Constructor) | Rule |
| stepHeaders | Rewriter |
| stepOf | Engine |
| Steps | |
| 1 (Type/Class) | Morph |
| 2 (Data Constructor) | Morph |
| strToBts | Bytes |
| Stuck | Morph |
| StuckAt | Morph |
| ST_ATTRIBUTES | CST |
| ST_BINDING | CST |
| Subst | |
| 1 (Type/Class) | Matcher |
| 2 (Data Constructor) | Matcher |
| substEmpty | Matcher |
| substituteGroups | Regexp |
| substSingle | Matcher |
| substSlot | Matcher |
| SugarType | Sugar |
| SWEET | Sugar |
| sweetCollapsible | CST |
| sweetNumber | CST |
| sweetString | CST |
| Symbolized | Lambdas |
| symbolized | Lambdas |
| symbols | AST |
| T | CST |
| TAB | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| TAB' | CST |
| Taken | Inference |
| taken | Lambdas |
| tallied | Morph |
| Tally | |
| 1 (Type/Class) | Morph |
| 2 (Data Constructor) | Morph |
| TAU | CST |
| TAU' | CST |
| TeAttribute | Deps |
| TeBindings | Deps |
| TeBytes | Deps |
| TeExpression | Deps |
| Term | Deps |
| TERMINATION | CST |
| thrown | Lambdas |
| tier | Deps |
| timed | Morph |
| ToASCII | Encoding |
| toASCII | Encoding |
| ToCST | CST |
| toCST | CST |
| toCST' | CST |
| toDouble | Misc |
| toName | XMIR |
| ToSalty | Sugar |
| toSalty | Sugar |
| ToSingleLine | Lining |
| toSingleLine | Lining |
| UnboundMetaInCondition | CLI.Types |
| Uncontextualizable | Contextualize |
| Undataizable | Morph |
| Undressed | Lambdas |
| unescapeStr | Bytes |
| Unformed | Forks |
| UNICODE | Encoding |
| union | Render |
| uniqueBindings | Misc |
| uniqueBindings' | Misc |
| universed | Morph |
| universeless | Yaml |
| Unmorphable | Morph |
| Unnamed | Forks |
| unparked | Morph |
| Unripe | Forks |
| validateBoolOpts | CLI.Validators |
| validatedDispatches | CLI.Validators |
| validateIntOption | CLI.Parsers |
| validateKnownYamlKeys | Yaml |
| validateLatexOptions | CLI.Validators |
| validateMust | Must |
| validateMust' | CLI.Validators |
| validateNoOverlap | CLI.Validators |
| validateRewriteRule | CLI.Helpers |
| validateXmirOptions | CLI.Validators |
| validateXmirTopLevel | CLI.Validators |
| validateYamlObject | Yaml |
| VersionMismatch | CLI.Types |
| VOID | CST |
| Way | Inference |
| withEncoding | Encoding |
| withEvalFunc | CLI.Helpers |
| withEvalFunc' | CLI.Helpers |
| within | AST |
| withLineFormat | Lining |
| withLines | Margin |
| withLocatedExpression | Locator |
| WithMargin | Margin |
| withMargin | Margin |
| withoutBOM | CLI.Helpers |
| withoutRho | Sugar |
| withSugarType | Sugar |
| World | |
| 1 (Type/Class) | Deps |
| 2 (Data Constructor) | Deps |
| XI | |
| 1 (Type/Class) | CST |
| 2 (Data Constructor) | CST |
| XI' | CST |
| xiFree | Rule |
| XMIR | CLI.Types |
| xmirAtoms | XMIR |
| XmirContext | |
| 1 (Type/Class) | XMIR |
| 2 (Data Constructor) | XMIR |
| xmirTime | XMIR |
| xmirToPhi | XMIR |
| yaml | Engine |
| yamlRule | Yaml |
| _alpha | Parser |
| _answered | Deps |
| _applied | Rule |
| _attr | Builder |
| _attribute | Parser |
| _bd | Builder |
| _began | Deps |
| _begun | Deps |
| _binding | Parser |
| _blocks | Deps |
| _bts | Builder |
| _buildTerm | Rule |
| _built | Deps |
| _canonize | LaTeX |
| _closing | Deps |
| _compress | LaTeX |
| _contextualize | Engine |
| _copies | Deps |
| _counted | Deps |
| _dataization | Engine |
| _dataized | Lambdas |
| _datums | Deps |
| _deltas | Deps |
| _dir | Files |
| _ending | Lambdas |
| _expr | Builder |
| _expression | |
| 1 (Function) | Parser |
| 2 (Function) | LaTeX |
| _file | Files |
| _fired | Deps |
| _fires | Deps |
| _firings | Deps |
| _focus | LaTeX |
| _formations | Deps |
| _found | Deps |
| _headers | LaTeX |
| _heads | Deps |
| _held | Deps |
| _hideRho | LaTeX |
| _index | Parser |
| _intermediateOptions | CLI.Parsers |
| _key | Lambdas |
| _label | LaTeX |
| _line | LaTeX |
| _lines | Lambdas |
| _made | Deps |
| _manufactured | Deps |
| _margin | LaTeX |
| _matching | Engine |
| _meetLength | LaTeX |
| _meetPopularity | LaTeX |
| _meetPrefix | LaTeX |
| _morphed | Lambdas |
| _morphing | Engine |
| _msg | Builder |
| _name | |
| 1 (Function) | Rule |
| 2 (Function) | Lambdas |
| _named | Deps |
| _nonumber | LaTeX |
| _normal | |
| 1 (Function) | Rule |
| 2 (Function) | Engine |
| _normalization | Engine |
| _numbered | Deps |
| _objects | Deps |
| _opaque | Deps |
| _open | Deps |
| _openedAt | Deps |
| _parts | Deps |
| _path | Files |
| _pending | Deps |
| _rules | Engine |
| _shapes | Deps |
| _sources | |
| 1 (Function) | Deps |
| 2 (Function) | Engine |
| _spelling | Lambdas |
| _string | Parser |
| _stuck | Deps |
| _sugar | LaTeX |
| _terminators | Lambdas |
| _told | Deps |
| _undressed | Lambdas |
| _universe | Rule |
| _unmarked | Deps |
| _unwritten | Deps |
| _world | Deps |
| Φ | CST |