catlog::stdlib::theories

Function th_schema

Source 
pub fn th_schema() -> DiscreteDblTheory
Expand description

The theory of database schemas with attributes.

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