Holyrel Library Reference Manual
Table of Contents
Holyrel Overview
Fundamentals
Definitions
Type system
Type system
- Type system.
Tuples
Tuple
- Tuple.
Relations
Relation
- Base class of all relations.
Restricted Relation
- Restricted relation.
Sorted Relation
- Sorted relation.
Miscellaneous
Stack
- Stack.
BTree
- BTrees.
Holyrel Overview >>