Type Alias StepCtx 

type StepCtx = LazyStepContext<GeneralThresholdAutomaton, ConfigCtx>;

Aliased Type

struct StepCtx { /* private fields */ }