Expand description
Wasm bindings for double theories from the catlog standard library.
Each struct in this module provides a DblTheory plus possibly
theory-specific analysis methods.
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.