Forlan Manual


Sorting, Sets, Relations and Tables

The section consists of modules implementing sorting, the abstract type of finite sets, operations on finite relations (finite sets of pairs), and the abstract type of finite tables.

The Sort Module

The Set Module

The Rel Module

The Tab Module


[ Top | Parent | Root | Contents | Index ]

Forlan Version 4.2
Copyright © 2000-2011 Alley Stoughton