Type Definition test_generation::summaries::NonInstantiableEffect
source · pub type NonInstantiableEffect = dyn Fn(&AbstractState) -> Result<AbstractState, VMError>;
Expand description
A Effect
is a function that transforms on AbstractState
to another