class FUNCTION [O_ -> TUPLE, R_]

Features exported to INTERNALS_HANDLER

Where O_ represents open arguments (i.e. arguments which are delayed) and where R_ is for the result type of the delayed call.

Direct parents

conformant parents

ROUTINE

Known children

conformant children

PREDICATE

Summary

exported features

Details

item (o: O_): R_

Result of calling feature with all its operands, using o for the open operands.

call (o: O_)

Call feature with all its operands, using o for the open operands.