Crate mangle_analysis

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