$sel:addedNames:Diff | Unison.NamesWithHistory |
$sel:annotation:DataDeclaration | Unison.DataDeclaration |
$sel:bind:Subst | Unison.ABT |
$sel:bindInheritAnnotation:Subst | Unison.ABT |
$sel:bound:DataDeclaration | Unison.DataDeclaration |
$sel:children:Nametree | Unison.Util.Nametree |
$sel:constructors':DataDeclaration | Unison.DataDeclaration |
$sel:constructorToDecl:DeclNameLookup | Unison.DeclNameLookup |
$sel:declToConstructors:DeclNameLookup | Unison.DeclNameLookup |
$sel:freeVars:Term | Unison.ABT.Normalized |
$sel:freshen:Subst | Unison.ABT |
$sel:getPolytype:Monotype | Unison.Type |
$sel:matchBody:MatchCase | Unison.Term |
$sel:matchGuard:MatchCase | Unison.Term |
$sel:matchPattern:MatchCase | Unison.Term |
$sel:modifier:DataDeclaration | Unison.DataDeclaration |
$sel:originalNames:Diff | Unison.NamesWithHistory |
$sel:out:Term | Unison.ABT.Normalized |
$sel:removedNames:Diff | Unison.NamesWithHistory |
$sel:terms:Defns | Unison.Util.Defns |
$sel:terms:Names | Unison.Names |
$sel:toDataDecl:EffectDeclaration | Unison.DataDeclaration |
$sel:toList:ForwardName | Unison.Name.Forward |
$sel:types:Defns | Unison.Util.Defns |
$sel:types:Names | Unison.Names |
$sel:value:Nametree | Unison.Util.Nametree |
$sel:variable:Subst | Unison.ABT |