CompactCompose | Resin.Binders.Tree |
Dual | Resin.Binders.Tree |
Extract | Resin.Binders.Tree |
Inject | Resin.Binders.Tree |
InjectRefl | Resin.Binders.Tree |
IxEq | Resin.Binders.Tree |
MonoRefl | Resin.Binders.Tree |
PolyRefl | Resin.Binders.Tree |
treeElimination | Resin.Binders.Tree |
TreeEq | Resin.Binders.Tree |
TreeExtract | Resin.Binders.Tree |
TreeInject | Resin.Binders.Tree |
TreeRefl | Resin.Binders.Tree |