pub fn validate_types(
document: &LemmaDoc,
_all_docs: Option<&[LemmaDoc]>,
) -> Result<(), Vec<LemmaError>>Expand description
Validate basic type declaration structure in a document
This performs lightweight structural validation (e.g., checking that TypeDeclaration base is not empty). Type registration, resolution, and specification validation are handled during graph building where types are actually needed.