naeq | Unbound.Nominal.Internal |
Name | |
1 (Type/Class) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Type/Class) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name | Unbound.LocallyNameless |
name1 | Unbound.Nominal.Name, Unbound.Nominal |
name10 | Unbound.Nominal.Name, Unbound.Nominal |
name11 | Unbound.Nominal.Name |
name2 | Unbound.Nominal.Name, Unbound.Nominal |
name2Integer | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name2String | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
name3 | Unbound.Nominal.Name, Unbound.Nominal |
name4 | Unbound.Nominal.Name, Unbound.Nominal |
name5 | Unbound.Nominal.Name, Unbound.Nominal |
name6 | Unbound.Nominal.Name, Unbound.Nominal |
name7 | Unbound.Nominal.Name, Unbound.Nominal |
name8 | Unbound.Nominal.Name, Unbound.Nominal |
name9 | Unbound.Nominal.Name, Unbound.Nominal |
nameA | Unbound.Nominal.Internal |
nameB | Unbound.Nominal.Internal |
nameC | Unbound.Nominal.Internal |
NamesSeen | Unbound.LocallyNameless.Alpha |
nextInteger | Unbound.Nominal.Internal, Unbound.Nominal |
Nil | |
1 (Data Constructor) | Unbound.LocallyNameless |
2 (Type/Class) | Unbound.LocallyNameless |
Nm | |
1 (Data Constructor) | Unbound.Nominal.Name |
2 (Data Constructor) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
Nonfix | Unbound.LocallyNameless |
NthCont | |
1 (Type/Class) | Unbound.LocallyNameless.Alpha |
2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
nthName | Unbound.LocallyNameless.Alpha |
nthpat | Unbound.LocallyNameless.Alpha |
nthpatD | Unbound.LocallyNameless.Alpha |
nthpatL | Unbound.LocallyNameless.Alpha |
nthpatR1 | Unbound.LocallyNameless.Alpha |
nthpatrec | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
NthResult | Unbound.LocallyNameless.Alpha |