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