Conformance.Edge.Sequence
Description
An edge sequence that belongs to no named requirement chapter. It exercises the same interpreter used by registration and retirement.
story :: Context reg wal -> Story reg wal step obs cmp () Source #