FA#
- class discopy.grammar.categorial.FA(func, args)[source]#
Bases:
TermBase,discopy.biclosed.ApplicationApplication of type
Ywith subterms of typeY << XandX.
Bases: TermBase, discopy.biclosed.Application
Application of type Y with subterms of type Y << X and X.