Crate sequent_repl

Expand description

An adapter for using Sequent with Revolver.

Modules§

commands: Commands used by the simulation.

Traits§

Context: Specification of a minimal application context for simulations.