| <> | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.Util |
| A | Unbound.Nominal.Internal |
| a10a | Unbound.Nominal.Internal |
| a10b | Unbound.Nominal.Internal |
| a10c | Unbound.Nominal.Internal |
| a10d | Unbound.Nominal.Internal |
| AC | Unbound.LocallyNameless.Alpha |
| acompare | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| acompare' | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| acompareD | Unbound.LocallyNameless.Alpha |
| acompareR1 | Unbound.LocallyNameless.Alpha |
| aeq | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| aeq' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| aeq1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| aeqBinders | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| aeqD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| aeqR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| Alpha | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| AlphaCtx | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Alpha |
| AlphaD | |
| 1 (Type/Class) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Alpha |
| 4 (Data Constructor) | Unbound.LocallyNameless.Alpha |
| AnyName | |
| 1 (Type/Class) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Data Constructor) | Unbound.Nominal.Name, Unbound.Nominal |
| 3 (Type/Class) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 4 (Data Constructor) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| anyName2Integer | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| anyName2String | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| apply | Unbound.PermM |
| assert | Unbound.Nominal.Internal |
| avoid | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| B | |
| 1 (Data Constructor) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.LocallyNameless.Types |
| big1 | Unbound.Nominal.Internal |
| big2 | Unbound.Nominal.Internal |
| Bind | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| bind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| binders | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| binders' | Unbound.Nominal.Internal, Unbound.Nominal |
| binders1 | Unbound.Nominal.Internal |
| bindersAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| bindersD | Unbound.Nominal.Internal |
| bindersR1 | Unbound.Nominal.Internal |
| Bn | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| close | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| closeD | Unbound.LocallyNameless.Alpha |
| closeP | Unbound.LocallyNameless.Alpha |
| closeR1 | Unbound.LocallyNameless.Alpha |
| closeT | Unbound.LocallyNameless.Alpha |
| cmap | Unbound.Util, Unbound.LocallyNameless |
| Collection | Unbound.Util, Unbound.LocallyNameless |
| combine | Unbound.LocallyNameless.Alpha |
| compareTupM | Unbound.LocallyNameless.Alpha |
| compose | Unbound.PermM |
| contFreshM | Unbound.LocallyNameless.Fresh |
| contFreshMT | Unbound.LocallyNameless.Fresh |
| contLFreshM | Unbound.LocallyNameless.Fresh |
| contLFreshMT | Unbound.LocallyNameless.Fresh |
| CurIndex | Unbound.LocallyNameless.Alpha |
| decr | Unbound.LocallyNameless.Alpha |
| do_tests | Unbound.Nominal.Internal |
| Embed | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Data Constructor) | Unbound.Nominal.Internal, Unbound.Nominal |
| 3 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 4 (Data Constructor) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| empty | Unbound.PermM |
| emptyC | Unbound.Util, Unbound.LocallyNameless |
| emptyNE | Unbound.Nominal.Internal |
| Exp | Unbound.Nominal.Internal |
| filterC | Unbound.Util |
| findpat | Unbound.LocallyNameless.Alpha |
| findpatD | Unbound.LocallyNameless.Alpha |
| findpatL | Unbound.LocallyNameless.Alpha |
| findpatR1 | Unbound.LocallyNameless.Alpha |
| findpatrec | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| FindResult | Unbound.LocallyNameless.Alpha |
| Found | Unbound.LocallyNameless.Alpha |
| Fresh | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| fresh | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| freshen | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| freshen' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| freshenD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| freshenL | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| freshenR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| FreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| FreshMT | |
| 1 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Fresh |
| fromList | Unbound.Util |
| fv | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| fv' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| fv1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| fvAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| fvD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| fvR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| getAvoids | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| getR | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| HasNext | Unbound.Nominal.Internal, Unbound.Nominal |
| 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 |
| join | Unbound.PermM |
| L | Unbound.Nominal.Internal |
| level | Unbound.LocallyNameless.Alpha |
| lexord | Unbound.LocallyNameless.Alpha |
| LFresh | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| lfresh | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| lfreshen | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| lfreshen' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| lfreshenD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| lfreshenL | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| lfreshenR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| LFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| LFreshMT | |
| 1 (Type/Class) | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Fresh |
| lsubst | Unbound.Nominal.Internal, Unbound.Nominal |
| lsubsts | Unbound.Nominal.Internal, Unbound.Nominal |
| lunbind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| lunbind2 | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| lunbind3 | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| luntrec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| makeName | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| match | Unbound.Nominal.Internal, Unbound.Nominal |
| match' | Unbound.Nominal.Internal, Unbound.Nominal |
| match1 | Unbound.Nominal.Internal |
| matchBinders | Unbound.Nominal.Internal |
| matchD | Unbound.Nominal.Internal |
| matchEmbeds | Unbound.Nominal.Internal |
| matchR1 | Unbound.Nominal.Internal, Unbound.Nominal |
| mkbig | Unbound.Nominal.Internal |
| mkPerm | Unbound.PermM |
| Mode | Unbound.LocallyNameless.Alpha |
| mode | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| Multiset | |
| 1 (Type/Class) | Unbound.Util, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.Util, Unbound.LocallyNameless |
| naeq | Unbound.Nominal.Internal |
| Name | |
| 1 (Type/Class) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name1 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name10 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name11 | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| name2 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 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 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name4 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name5 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name6 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name7 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name8 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| name9 | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| nameA | Unbound.Nominal.Internal |
| nameB | Unbound.Nominal.Internal |
| nameC | Unbound.Nominal.Internal |
| NamesSeen | Unbound.LocallyNameless.Alpha |
| nextInteger | Unbound.Nominal.Internal, Unbound.Nominal |
| Nm | |
| 1 (Data Constructor) | Unbound.Nominal.Name |
| 2 (Data Constructor) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| 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 |
| open | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| openD | Unbound.LocallyNameless.Alpha |
| openP | Unbound.LocallyNameless.Alpha |
| openR1 | Unbound.LocallyNameless.Alpha |
| openT | Unbound.LocallyNameless.Alpha |
| 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 |
| perm | Unbound.Nominal.Internal |
| R | |
| 1 (Data Constructor) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.LocallyNameless.Types |
| rAnyName | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rAnyName1 | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rBind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rBind1 | Unbound.Nominal.Internal |
| Rebind | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rebind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| Rec | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 4 (Data Constructor) | Unbound.LocallyNameless.Types |
| rec | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| rEmbed | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rEmbed1 | Unbound.Nominal.Internal |
| reopen | Unbound.Nominal.Internal, Unbound.Nominal |
| resetNext | Unbound.Nominal.Internal, Unbound.Nominal |
| restrict | Unbound.PermM |
| rExp | Unbound.Nominal.Internal |
| rExp1 | Unbound.Nominal.Internal |
| rName | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rName1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rR | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| rRebind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rRebind1 | Unbound.Nominal.Internal |
| rRec | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rRec1 | Unbound.Nominal.Internal |
| rShift | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| rShift1 | Unbound.Nominal.Internal |
| runFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runFreshMT | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runLFreshM | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runLFreshMT | Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless |
| runNthCont | Unbound.LocallyNameless.Alpha |
| s2n | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| Shift | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 4 (Data Constructor) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| single | Unbound.PermM |
| singleton | Unbound.Util, Unbound.LocallyNameless |
| string2Name | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| Subst | |
| 1 (Type/Class) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Type/Class) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| subst | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| SubstD | |
| 1 (Type/Class) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.Nominal.Internal |
| 3 (Type/Class) | Unbound.LocallyNameless.Subst |
| 4 (Data Constructor) | Unbound.LocallyNameless.Subst |
| substD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| substDefault | Unbound.LocallyNameless.Subst |
| SubstName | |
| 1 (Type/Class) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| substR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| substs | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| substsD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| substsR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Subst |
| support | Unbound.PermM |
| swapall' | Unbound.Nominal.Internal, Unbound.Nominal |
| swapallD | Unbound.Nominal.Internal |
| swapallR1 | Unbound.Nominal.Internal |
| swaps | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swaps' | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| swapsBinders | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swapsD | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| swapsEmbeds | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swapsR1 | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| Term | |
| 1 (Data Constructor) | Unbound.Nominal.Internal |
| 2 (Data Constructor) | Unbound.LocallyNameless.Alpha |
| term | |
| 1 (Function) | Unbound.Nominal.Internal |
| 2 (Function) | Unbound.LocallyNameless.Alpha |
| tests_aeq | Unbound.Nominal.Internal |
| tests_big | Unbound.Nominal.Internal |
| tests_fv | Unbound.Nominal.Internal |
| tests_subst | Unbound.Nominal.Internal |
| toSortedName | |
| 1 (Function) | Unbound.Nominal.Name |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types |
| translate | |
| 1 (Function) | Unbound.Nominal.Name, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| TRec | |
| 1 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Types |
| trec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unbind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unbind2 | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unbind3 | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unFreshMT | Unbound.LocallyNameless.Fresh |
| union | Unbound.Util, Unbound.LocallyNameless |
| unions | Unbound.Util |
| unLFreshMT | Unbound.LocallyNameless.Fresh |
| unrebind | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unrec | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| unsafeUnbind | |
| 1 (Function) | Unbound.Nominal.Internal, Unbound.Nominal |
| 2 (Function) | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| untrec | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| V | Unbound.Nominal.Internal |