Pat | |
1 (Data Constructor) | Unbound.Nominal.Internal |
2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
pat | |
1 (Function) | Unbound.Nominal.Internal |
2 (Function) | Unbound.LocallyNameless.Alpha |
patfv | |
1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
patfvAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
Perm | Unbound.PermM, Unbound.LocallyNameless |
perm | Unbound.Nominal.Internal |
prec | Unbound.LocallyNameless |