Rule#
- class discopy.grammar.cfg.Rule(dom, cod, name=None)[source]#
Bases:
Tree,discopy.grammar.thue.RuleA rule is a generator of free operads, given by an atomic type
dom, a typecodof arbitrary length and an optionalname.- Parameters:
dom (C0) –
cod (C0) –
name (str) –