The definition of a primitive: its name, sub-graph parameters and
interpretation rules. It is not callable; the function a primitive is
called through is an AnvlPrimitive, which carries
its AnvlPrimitiveDef as attr(<fn>, "definition"). The graph records the
AnvlPrimitiveDef in each GraphStatement.
Note that [[ and [[<- access the interpretation rules.
To access other fields, use $ and $<-.
A primitive is considered higher-order if it has subgraphs.
Usage
AnvlPrimitiveDef(name, subgraphs = character())Arguments
- name
(
character(1))
The name of the primitive, without theprim_prefix.- subgraphs
(
character())
Names of parameters that are subgraphs.