conformance
Safe HaskellNone
LanguageGHC2021

Conformance.Edge.Permanent

Description

The fixed contract's participant story in the existing description language. Execution requires a permanent registry and the bounded model evaluator.

Synopsis

Documentation

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

description :: String Source #

Render the same actions that an interpreter executes, with opaque handles.