Index - B

BLanguage.Rzk.Syntax.Lex
betaMotiveAppsRzk.TypeCheck.Judgements, Rzk.TypeCheck
BindLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
Bind'Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
BinderLanguage.Rzk.Foil.Names
binderDisplayNameLanguage.Rzk.Foil.Names
binderInfoRzk.TypeCheck.Eval, Rzk.TypeCheck
binderIsCompoundLanguage.Rzk.Foil.Names
binderLeavesLanguage.Rzk.Foil.Names
binderNameLanguage.Rzk.Foil.Names
binderOfNameRzk.TypeCheck.Context, Rzk.TypeCheck
BinderPairLanguage.Rzk.Foil.Names
binderPathsLanguage.Rzk.Foil.Names
binderToPatternLanguage.Rzk.Foil.Names
binderTypeEntriesRzk.TypeCheck.BinderTypes, Rzk.TypeCheck
binderTypesOfFileRzk.TypeCheck.BinderTypes, Rzk.TypeCheck
binderTypesOfTermRzk.TypeCheck.BinderTypes, Rzk.TypeCheck
BinderTypeViewRzk.TypeCheck.BinderTypes, Rzk.TypeCheck
BinderUnitLanguage.Rzk.Foil.Names
BinderVarLanguage.Rzk.Foil.Names
Binding 
1 (Type/Class)Language.Rzk.VSCode.ReferenceIndex
2 (Data Constructor)Language.Rzk.VSCode.ReferenceIndex
bindingDefLanguage.Rzk.VSCode.ReferenceIndex
bindingNameLanguage.Rzk.VSCode.ReferenceIndex
bindingRefsLanguage.Rzk.VSCode.ReferenceIndex
bindingsLanguage.Rzk.Foil.Convert
bindingSitesLanguage.Rzk.VSCode.ReferenceIndex
bindingTypeLanguage.Rzk.VSCode.ReferenceIndex
BindPatternLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
BindPatternTypeLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
BlockLanguage.Rzk.Syntax.Layout
blockRzk.TypeCheck.Error, Rzk.TypeCheck
BNFC'NoPositionLanguage.Rzk.Syntax.Abs, Language.Rzk.Syntax
BNFC'Position 
1 (Type/Class)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
BottomUpRzk.TypeCheck.Error, Rzk.TypeCheck
BranchingRzk.TypeCheck.Judgements, Rzk.TypeCheck
BTreeLanguage.Rzk.Syntax.Lex
BuildFlag 
1 (Type/Class)Rzk.Version
2 (Data Constructor)Rzk.Version
buildFlagNameRzk.Version
buildFlagsRzk.Version
buildFlagStateRzk.Version
bumpDataRoleParamsRzk.TypeCheck.Context, Rzk.TypeCheck
bySubtypingRzk.TypeCheck.Unify
ByteLanguage.Rzk.Syntax.Lex