Closed clayrat closed 2 years ago
These are needed for storing ordType instances in finMaps (which have an ordType constraint of their own). An example of this is KVMap from HTT.
ordType
finMap
KVMap
These are needed for storing
ordTypeinstances infinMaps (which have anordTypeconstraint of their own). An example of this isKVMapfrom HTT.