Two attributes are used to specify the meaning of certain modifications in more detail:
the subfunctor attribute (see Section 13.1, "Subfunctors");
subfunctor
the is_state attribute (see Section 13.2, "Attribute with the meaning of "state"").
is_state