Functions Defined in the Program

A Refal Plus program is essentially a set of mutually recursive function definitions.