Module style 

Styled wrappers for live collections used with the sliced! macro.

This module provides wrapper types that store both a collection and its associated non-determinism guard, allowing the nondet to be properly passed through during slicing.

Structs

Atomic

Atomic style wrapper that stores a collection and its non-determinism guard.

Default

Default style wrapper that stores a collection and its non-determinism guard.

StateBuilderstageleft_runtime

Builder returned by state, which accepts the user-provided initializer.

StateNullBuilderstageleft_runtime

Builder returned by state_null, which creates the cycle.

Functions

atomic

Wraps a live collection to be treated atomically during slicing.

statestageleft_runtime

Creates a stateful cycle with an initial value for use in sliced!.

state_nullstageleft_runtime

Creates a stateful cycle without an initial value for use in sliced!.