Module validate

Module validate 

Source

Structs§

ValidationError
A validation error with context.

Enums§

ValidationErrorKind
Specific validation error kinds.

Functions§

validate
Validate an entire IrProgram. Returns all errors found (does not stop at first).
validate_graph_standalone
Validate a single graph. Returns Ok(()) or the list of errors.