# Types

These are special functions that may be used in declaring the allowed values for a variable, eg:

        type struct_index(integer idx)
            return idx>=1 and idx<=length(struct_defs)
        end type

A type must have exactly one parameter and should return an atom that is either true (non-zero) or false (zero).
Types can also be called just like other functions.
See Using Types.