Rule#

class discopy.grammar.cfg.Rule(dom, cod, name=None)[source]#

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) –