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

Index - P

PatUnbound.LocallyNameless.Alpha
patUnbound.LocallyNameless.Alpha
patfvUnbound.LocallyNameless.Ops, Unbound.LocallyNameless
patfvAnyUnbound.LocallyNameless.Ops, Unbound.LocallyNameless
Perm 
1 (Type/Class)Unbound.PermM, Unbound.LocallyNameless
2 (Data Constructor)Unbound.PermM
permbindUnbound.LocallyNameless.Ops, Unbound.LocallyNameless
permCloseUnbound.LocallyNameless.Ops
permCloseAnyUnbound.LocallyNameless.Ops
permValidUnbound.PermM
precUnbound.LocallyNameless