conformance
Safe HaskellNone
LanguageGHC2021

Conformance.Edge.Retire

Description

Reach Active and retire it permanently; compare unknown-key and excluded encoding refusals beside accepting controls. No Absent or deletion success is claimed, and the broader retirement requirement remains separately uncovered.

Documentation

story :: Context reg wal -> Context reg wal -> Story reg wal step obs cmp () Source #