Rule

class discopy.grammar.cfg.Rule(dom, cod, name=None)

Bases: Tree, Rule

A rule is a generator of free operads, given by an atomic type dom, a type cod of arbitrary length and an optional name.

Parameters:

• dom (T) –

• cod (T) –

• name (str) –