Skip to main content

ContextOptionsOf

taco_model_checker

Type Alias ContextOptionsOf 

Source 
pub type ContextOptionsOf<M> = <ContextOf<M> as ModelCheckerContext>::ContextOptions;
Expand description

Options accepted by the context of the model checker M