SetReplaceType represents a SetReplace type. It has the type specification as
its single argument.
It is used in vertex names of $SetReplaceTypeGraph.
SetReplaceType represents a SetReplace type. It has the type specification as
its single argument.
It is used in vertex names of $SetReplaceTypeGraph.