@opaque cp()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

cp() (opaque type)

@opaque part()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

part() (opaque type)