Expand description
Semantic validation for Lemma documents
Validates document structure and type declarations to catch errors early with clear messages.
Functionsยง
- validate_
type_ specifications - Validate that TypeSpecification constraints are internally consistent
- validate_
types - Validate basic type declaration structure in a document