Expand description
Wasm bindings for the standard library of theories in catlog.
Each struct in this module provides a DblTheory, possibly with additional
methods for theory-specific analyses.
Structsยง
- ThCategory
- The theory of categories.
- ThCategory
Links - The theory of categories with links.
- ThCategory
With Scalars - The theory of categories with scalars.
- ThDelayable
Signed Category - The theory of delayable signed categories.
- ThEmpty
- The empty or initial theory.
- ThNullable
Signed Category - The theory of nullable signed categories.
- ThSchema
- The theory of database schemas with attributes.
- ThSigned
Category - The theory of signed categories.
- ThSym
Monoidal Category - The theory of strict symmetric monoidal categories.