Sfairadora

  • Reference Guide

Cycle_def

The structure Cycle_def serves to define a cyclic (recursive) data type. If it is used within an instance of the type Data_type_def, it states that the type defined n levels above is to be used at the place where the Cycle_def is used. The levels are counted relative to the type being defined. Therefore, one element of a reference to an instance of the type defined corresponds to one level. An interleaving union also adds one level.
Type
Name
Description
Int
cycle_length
Number of levels to form the cycle.