catlog::stdlib::theories

Function th_schema

Source 
pub fn th_schema() -> UstrDiscreteDblTheory
Expand description

The theory of database schemas with attributes.

As a double category, this is the “walking proarrow”.