Index - F

Face3DRzk.Render.Geometry
facesRzk.Render.Geometry
fileOccurrencesLanguage.Rzk.VSCode.ReferenceIndex
filterAccessibleRzk.TypeCheck.Context, Rzk.TypeCheck
findDefinitionLanguage.Rzk.VSCode.Handlers
findReferencesLanguage.Rzk.VSCode.Handlers
First 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Foil.Syntax
firstDuplicateRzk.TypeCheck.Judgements, Rzk.TypeCheck
FirstFLanguage.Rzk.Foil.Syntax
firstMatchingRzk.TypeCheck.Eval, Rzk.TypeCheck
FirstTLanguage.Rzk.Foil.Syntax
firstTLanguage.Rzk.Foil.Syntax
fitsIntoRzk.TypeCheck.Judgements, Rzk.TypeCheck
FlagOffRzk.Version
FlagOnRzk.Version
FlagStateRzk.Version
Flat 
1 (Data Constructor)Language.Rzk.Syntax.Abs, Language.Rzk.Syntax
2 (Data Constructor)Language.Rzk.Foil.Names
flattenBinderAppLanguage.Rzk.Foil.Names
formatRzk.Format
formatDocument 
1 (Function)Rzk.Format
2 (Function)Language.Rzk.VSCode.Handlers
formatEnabledLanguage.Rzk.VSCode.Config
formatFileRzk.Format
formatFileWriteRzk.Format
formatSignatureLanguage.Rzk.VSCode.Handlers
formatTextEditsRzk.Format
FormattingEdit 
1 (Type/Class)Rzk.Format
2 (Data Constructor)Rzk.Format
freeVarsDeepRzk.TypeCheck.Eval, Rzk.TypeCheck
freeVarsOfTermLanguage.Rzk.Foil.Syntax
freeVarsOfTermTLanguage.Rzk.Foil.Syntax
freshenBinderLanguage.Rzk.Foil.Print
freshenBinderLeavesLanguage.Rzk.Foil.Names
freshenBinderLeavesInLanguage.Rzk.Foil.Names
freshIdentRzk.TypeCheck.Decl, Rzk.TypeCheck
freshIdentsRzk.TypeCheck.Decl, Rzk.TypeCheck
fromAffineRzk.Render.Geometry
fromModLanguage.Rzk.Foil.Names
fromTermLanguage.Rzk.Foil.Print
fromTermClosedLanguage.Rzk.Foil.Print
fromTModalityToModalColonLanguage.Rzk.Foil.Names
fromVarIdentLanguage.Rzk.Foil.Names