[ library(range) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

copy_term_range(?Meta, ?Copy)

copy_term handler for range attribute.
Meta
Copy

Description

This is the copy_term handler for the range attribute. It allows copy_term/2 to handle the range attribute, and is not meant to be called directly by the user.

Range and type are copied, delayed goals are not.

See Also

copy_term / 2