Add generating_type function to ANY for use in invariants

Description

Currently the function type() is used in a few places in the RM
but is not defined anywhere.

Status

Assignee

JeffJ

Reporter

JeffJ

Raised By

None

Priority

Trivial
Configure