Module fetish_lib::application_table

Structs

ApplicationTable

For a given function type A -> B, stores current information about TermApplicationResults for that function type with several easily-queryable views.