DEFINITION MODULE FunctionProcessing; FROM scan IMPORT STRING; PROCEDURE IsAFunction () : BOOLEAN; PROCEDURE PopFunctionName ( name : STRING ); PROCEDURE FunctionName (VAR name : STRING ); END FunctionProcessing.