unbound-0.2: Generic support for programming with names and binders

Index - P

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
patfvAnyUnbound.LocallyNameless.Ops, Unbound.LocallyNameless
PermUnbound.PermM
permUnbound.Nominal.Internal