Index

$sel:bound:DataDeclaration	U.Codebase.Decl
$sel:causalHash:Causal	U.Codebase.Causal
$sel:children:Branch	U.Codebase.Branch.Type
$sel:children:BranchV3	U.Codebase.BranchV3
$sel:constructorTypes:DataDeclaration	U.Codebase.Decl
$sel:declType:DataDeclaration	U.Codebase.Decl
$sel:fromRootCausalHash:Entry	U.Codebase.Reflog
$sel:modifier:DataDeclaration	U.Codebase.Decl
$sel:numContainedPatches:NamespaceStats	U.Codebase.Branch.Type
$sel:numContainedTerms:NamespaceStats	U.Codebase.Branch.Type
$sel:numContainedTypes:NamespaceStats	U.Codebase.Branch.Type
$sel:parents:Causal	U.Codebase.Causal
$sel:patches:Branch	U.Codebase.Branch.Type
$sel:reason:Entry	U.Codebase.Reflog
$sel:termEdits:Patch	U.Codebase.Branch.Type
$sel:terms:Branch	U.Codebase.Branch.Type
$sel:terms:BranchV3	U.Codebase.BranchV3
$sel:time:Entry	U.Codebase.Reflog
$sel:toRootCausalHash:Entry	U.Codebase.Reflog
$sel:typeEdits:Patch	U.Codebase.Branch.Type
$sel:types:Branch	U.Codebase.Branch.Type
$sel:types:BranchV3	U.Codebase.BranchV3
$sel:unMdValues:MdValues	U.Codebase.Branch.Type
$sel:value:Causal	U.Codebase.Causal
$sel:valueHash:Causal	U.Codebase.Causal
allVars	U.Codebase.Decl
And	U.Codebase.Term
Ann
1 (Data Constructor)	U.Codebase.Type
2 (Data Constructor)	U.Codebase.Term
App
1 (Data Constructor)	U.Codebase.Type
2 (Data Constructor)	U.Codebase.Term
Arrow
1 (Data Constructor)	U.Codebase.Kind
2 (Data Constructor)	U.Codebase.Type
Boolean	U.Codebase.Term
Bound	U.Codebase.Decl
Branch
1 (Type/Class)	U.Codebase.Branch.Type
2 (Data Constructor)	U.Codebase.Branch.Type
BranchV3
1 (Type/Class)	U.Codebase.BranchV3
2 (Data Constructor)	U.Codebase.BranchV3
Causal
1 (Type/Class)	U.Codebase.Causal
2 (Data Constructor)	U.Codebase.Causal
CausalBranch	U.Codebase.Branch.Type
CausalBranchV3	U.Codebase.BranchV3
Char	U.Codebase.Term
childAt	U.Codebase.Branch.Type
Con	U.Codebase.Referent
ConId	U.Codebase.Referent
Constructor	U.Codebase.Term
ConstructorId
1 (Type/Class)	U.Codebase.Decl
2 (Type/Class)	U.Codebase.Term
Constructors	U.Codebase.Decl
ConstructorType	U.Codebase.Referent
Ctor	U.Codebase.Decl
Data	U.Codebase.Decl
DataConstructor	U.Codebase.Referent
DataDeclaration	U.Codebase.Decl
Decl	U.Codebase.Decl
DeclR	U.Codebase.Decl
DeclType	U.Codebase.Decl
dependencies
1 (Function)	U.Codebase.Type
2 (Function)	U.Codebase.Decl
3 (Function)	U.Codebase.Term
Deprecate
1 (Data Constructor)	U.Codebase.TermEdit
2 (Data Constructor)	U.Codebase.TypeEdit
Different	U.Codebase.TermEdit
Effect
1 (Data Constructor)	U.Codebase.Type
2 (Data Constructor)	U.Codebase.Decl
EffectConstructor	U.Codebase.Referent
Effects	U.Codebase.Type
emap	U.Codebase.Causal
empty	U.Codebase.Branch.Type
Entry
1 (Type/Class)	U.Codebase.Reflog
2 (Data Constructor)	U.Codebase.Reflog
extraMap	U.Codebase.Term
extraMapM	U.Codebase.Term
F
1 (Type/Class)	U.Codebase.Decl
2 (Type/Class)	U.Codebase.Term
F'
1 (Type/Class)	U.Codebase.Type
2 (Type/Class)	U.Codebase.Term
FD	U.Codebase.Type
Float	U.Codebase.Term
Forall	U.Codebase.Type
FT	U.Codebase.Type
Handle	U.Codebase.Term
hasDefinitions	U.Codebase.Branch.Type
HashableDecl	U.Codebase.Decl
HashableTerm	U.Codebase.Term
HashableTermLink	U.Codebase.Term
HashableTermRef	U.Codebase.Term
HashableType	U.Codebase.Decl
HashableTypeRef	U.Codebase.Decl
hoist
1 (Function)	U.Codebase.Causal
2 (Function)	U.Codebase.Branch.Type
hoistCausalBranch	U.Codebase.Branch.Type
Id	U.Codebase.Referent
Id'	U.Codebase.Referent
If	U.Codebase.Term
Int	U.Codebase.Term
IntroOuter	U.Codebase.Type
Kind	U.Codebase.Kind
Lam	U.Codebase.Term
Let	U.Codebase.Term
LetRec
1 (Data Constructor)	U.Codebase.Decl
2 (Data Constructor)	U.Codebase.Term
List	U.Codebase.Term
Match	U.Codebase.Term
MatchCase
1 (Type/Class)	U.Codebase.Term
2 (Data Constructor)	U.Codebase.Term
MdValues
1 (Type/Class)	U.Codebase.Branch.Type
2 (Data Constructor)	U.Codebase.Branch.Type
MetadataType	U.Codebase.Branch.Type
MetadataValue	U.Codebase.Branch.Type
Modified	U.Codebase.Decl
Modifier	U.Codebase.Decl
NamespaceStats
1 (Type/Class)	U.Codebase.Branch.Type
2 (Data Constructor)	U.Codebase.Branch.Type
Nat	U.Codebase.Term
Or	U.Codebase.Term
PAs	U.Codebase.Term
Patch
1 (Type/Class)	U.Codebase.Branch.Type
2 (Data Constructor)	U.Codebase.Branch.Type
Pattern	U.Codebase.Term
PBoolean	U.Codebase.Term
PChar	U.Codebase.Term
PConcat	U.Codebase.Term
PCons	U.Codebase.Term
PConstructor	U.Codebase.Term
PEffectBind	U.Codebase.Term
PEffectPure	U.Codebase.Term
PFloat	U.Codebase.Term
PInt	U.Codebase.Term
PNat	U.Codebase.Term
PSequenceLiteral	U.Codebase.Term
PSequenceOp	U.Codebase.Term
PSnoc	U.Codebase.Term
PText	U.Codebase.Term
PUnbound	U.Codebase.Term
PVar	U.Codebase.Term
Ref
1 (Data Constructor)	U.Codebase.Type
2 (Data Constructor)	U.Codebase.Referent
3 (Data Constructor)	U.Codebase.Term
Referent	U.Codebase.Referent
Referent'	U.Codebase.Referent
ReferentH	U.Codebase.Referent
RefId	U.Codebase.Referent
refs_	U.Codebase.Referent
RegularWatch	U.Codebase.WatchKind
Replace
1 (Data Constructor)	U.Codebase.TermEdit
2 (Data Constructor)	U.Codebase.TypeEdit
Request	U.Codebase.Term
rmap
1 (Function)	U.Codebase.Type
2 (Function)	U.Codebase.Decl
rmapM	U.Codebase.Type
rmapPattern	U.Codebase.Term
rmapPatternM	U.Codebase.Term
Same	U.Codebase.TermEdit
SeqOp	U.Codebase.Term
Star	U.Codebase.Kind
Structural	U.Codebase.Decl
Subtype	U.Codebase.TermEdit
Term	U.Codebase.Term
TermEdit	U.Codebase.TermEdit
TermLink
1 (Data Constructor)	U.Codebase.Term
2 (Type/Class)	U.Codebase.Term
TermRef	U.Codebase.Term
termRef_	U.Codebase.Referent
TestWatch	U.Codebase.WatchKind
Text	U.Codebase.Term
toReference	U.Codebase.Referent
toReferenceId	U.Codebase.Referent
toShortHash	U.Codebase.Referent
toTermReference	U.Codebase.Referent
Type
1 (Data Constructor)	U.Codebase.Decl
2 (Type/Class)	U.Codebase.Decl
3 (Type/Class)	U.Codebase.Term
TypeD	U.Codebase.Type
typeD2T	U.Codebase.Type
TypeEdit	U.Codebase.TypeEdit
TypeLink
1 (Data Constructor)	U.Codebase.Term
2 (Type/Class)	U.Codebase.Term
TypeR	U.Codebase.Type
TypeRef
1 (Type/Class)	U.Codebase.Decl
2 (Type/Class)	U.Codebase.Term
typeRef_	U.Codebase.Referent
TypeT	U.Codebase.Type
Typing	U.Codebase.TermEdit
unhashComponent
1 (Function)	U.Codebase.Decl
2 (Function)	U.Codebase.Term
Unique	U.Codebase.Decl
V	U.Codebase.Decl
vmap	U.Codebase.Decl
WatchKind	U.Codebase.WatchKind
_Con	U.Codebase.Referent
_Ref	U.Codebase.Referent