BA#

class discopy.grammar.categorial.BA(under)[source]#

Bases: Constructor, Box

Backward application rule.