Provides classes and predicates for defining flow summaries.
A callable that has a neutral model.
A callable where there is no flow via the callable.
A class used to represent provenance values for MaD models.
A class that exists for QL technical reasons only (the IPA type used to represent component stacks needs to be bounded).
A callable with a flow summary.
A component used in a flow summary.
A (non-empty) stack of summary components.