- class discopy.grammar.thue.Rule(dom, cod, name=None, **params)#
A rule is a box with monoidal types as
codand an optional
dom (T) – The domain of the rule, i.e. its input.
cod (T) – The codomain of the rule, i.e. its output.
name (str) – The name of the rule, empty by default.