Module spec_state 

Opaque per-spec configuration and resettable runtime-state extension points.

Traits

SpecConfig

Opaque per-spec configuration owned by a spec implementation.

SpecRuntime

Opaque mutable per-spec state reset before every simulation iteration.