The subsection describes modules implementing sorting (the Sort module), the abstract type of finite sets (the Set module), operations on finite relations (finite sets of pairs; the Rel module), and the abstract type of finite tables (the Tab module).
Forlan Version 4.15
Copyright © 2022 Alley Stoughton