Under#

class discopy.biclosed.Under(left=None, right=None)[source]#

Bases: BinaryTyConstructor, Ty

Backward slash types.