Expand description
Composition and verification of extension ontology contracts.
Structs§
- Ontology
Contract Diagnostic - One deterministic failure while checking activated extension ontology contracts.
Enums§
- Ontology
Contract Field - A field constrained by a partial property requirement.
Functions§
- verify_
ontology_ contracts - Verifies all partial ontology requirements for an activated extension set.