Module eir 

Epistemic Intermediate Representation.

Structs

EirAtom

Atom summary carried across the EIR boundary.

EirConstraint

Integrity constraint represented at the EIR boundary.

EirEpistemicLiteral

Explicit epistemic body literal.

EirProgram

Program represented at the EIR boundary.

EirRule

Rule represented at the EIR boundary.

Enums

EirBodyLiteral

Body literal at the epistemic boundary.

EirEpistemicMode

Epistemic semantics mode selected for an EIR program.

EirEpistemicOp

Epistemic operator attached to an atom.

EirTerm

Term representation preserved at the epistemic boundary.