Module error 

Structs

ErrorDetails

Detailed error information with optional source location.

Enums

Error

Error types for the Lemma system with source location tracking

RequestErrorKind

Distinguishes HTTP 404 (not found) from 400 (bad request) for request errors.