Effect Semantics

Public import surface for the effect semantics of the Transformation operators: effect dimensions, operator footprints and required-change clauses, the abstract state model, the generic preservation and breakage results that follow from them, and sequences of atomic steps.