incr | Unbound.LocallyNameless.Alpha |
Index | Unbound.LocallyNameless.Alpha |
initial | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
integer2Name | |
1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
isBound | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
isEmbed | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
isEmbedD | Unbound.LocallyNameless.Alpha |
isFree | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
isid | Unbound.PermM |
isPat | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
isPatD | Unbound.LocallyNameless.Alpha |
isPatR1 | Unbound.LocallyNameless.Alpha |
isTerm | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
isTermD | Unbound.LocallyNameless.Alpha |
isTermR1 | Unbound.LocallyNameless.Alpha |
isvar | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
isvarD | Unbound.LocallyNameless.Subst |