conformance
Safe HaskellNone
LanguageGHC2021

Conformance.Edge.Register

Description

One registration program, expressed only as edge requests and comparisons.

Documentation

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

insertActiveRow :: Theorem InsertActive Source #