Crate sequent_repl

source ·
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.