BackwardCrossedComposition

BackwardCrossedComposition#

class discopy.grammar.categorial.BackwardCrossedComposition(left, right)[source]#

Bases: discopy.utils.BinaryBoxConstructor, Box

Backward crossed composition rule.