Assertion: class's function | /r/CapableOf | accept values of type a
Facets:
Source sentences:
text: In type theory, the type of functions accepting values of type A and returning values of type B may be written as A → B or BA.