Abstract Syntax

The operations on basic types are given by means of abstract syntax

constants
order and equality predicates
recognizers
constructors
selectors
updators (for mutable structures)

In addition there are sometimes files that define useful programs that provide an extended set operators on the base data or describe and give operators on many of the types that are important to other IBUKI systems.