Next: , Previous: , Up: Top   [Index]


12 setomat

Setomat automate the task to construct a functional ordered sets/maps and functional ordered complemented set/maps and introduce a range of such implementations.