Structsยง
- Application
Table - For a given function type
A -> B, stores current information aboutTermApplicationResults for that function type with several easily-queryable views.
A -> B, stores
current information about TermApplicationResults
for that function type with several easily-queryable views.