ForwardCrossedComposition

ForwardCrossedComposition#

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

Bases: discopy.utils.BinaryBoxConstructor, Box

Forward crossed composition rule.