Module libslide::partial_evaluator::validate

Validates that evaluated slide programs are well-formed. In some sense, validations are post-evaluator linters.

Modules

incompatible_definitions

Detects incompatible variable definitions in a slide program.

Enums

PEValidator

Traits

Validator

Functions

validate