Crate mangle_analysis

Source

Structs§

SimpleProgram
An implementation of the Program trait.
SimpleStratifiedProgram
An implementation of the StratifiedProgram trait. This can be obtained through SimpleProgram::stratify.

Traits§

Program
Represents a program. extensional_preds and intensional_preds are disjoint.
StratifiedProgram