BX

class discopy.grammar.categorial.BX(left, right)

Bases: BinaryTerm

Backward crossing A << C with subterms A << B and C >> B.

Parameters:

• left (Term) –

• right (Term) –