Index
| CompactCompose | Resin.Binders.Tree.Internal |
| Dual | Resin.Binders.Tree.Internal |
| Extract | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| Inject | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| InjectRefl | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| IxEq | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| jumpDepthExtract | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| jumpDepthInject | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| leftExtendExtract | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| MonoRefl | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| PolyRefl | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| rightExtendInject | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| treeElimination | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| TreeEq | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| TreeExtract | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| TreeInject | Resin.Binders.Tree.Internal, Resin.Binders.Tree |
| TreeRefl | Resin.Binders.Tree.Internal, Resin.Binders.Tree |