Forlan Manual

Sorting, Sets, Relations and Tables

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).

The Sort Module

The Set Module

The Rel Module

The Tab Module

[ Top | Parent | Root | Contents | Index ]

Forlan Version 4.12
Copyright © 2019 Alley Stoughton