FX

Contents

FX#

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

Bases: BinaryTerm

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

Parameters:
  • left (Term) –

  • right (Term) –