BA# class discopy.grammar.categorial.BA(under)[source]# Bases: Constructor, Box Backward application rule.