Closed Shimuuar closed 8 months ago
This API design is much more in line with standard convention where type of element of a container is encoded as type parameter. And Elt type family if very cumbersome to use.
Elt
Tr & Conj are changed accordingly
Tr
Conj
This API design is much more in line with standard convention where type of element of a container is encoded as type parameter. And
Elttype family if very cumbersome to use.Tr&Conjare changed accordingly