Enum test_generation::summaries::Effects

pub enum Effects {
    NoTyParams(Vec<Box<NonInstantiableEffect>>),
    TyParams(Box<dyn Fn(&AbstractState) -> (StructDefinitionIndex, Vec<SignatureToken>)>, Box<InstantiableEffect>, Box<dyn Fn(StructDefInstantiationIndex) -> Bytecode>),
    TyParamsCall(Box<dyn Fn(&AbstractState) -> (FunctionHandleIndex, Vec<SignatureToken>)>, Box<FunctionInstantiableEffect>, Box<dyn Fn(FunctionInstantiationIndex) -> Bytecode>),
}

Variants

NoTyParams(Vec<Box<NonInstantiableEffect>>)

TyParams(Box<dyn Fn(&AbstractState) -> (StructDefinitionIndex, Vec<SignatureToken>)>, Box<InstantiableEffect>, Box<dyn Fn(StructDefInstantiationIndex) -> Bytecode>)

TyParamsCall(Box<dyn Fn(&AbstractState) -> (FunctionHandleIndex, Vec<SignatureToken>)>, Box<FunctionInstantiableEffect>, Box<dyn Fn(FunctionInstantiationIndex) -> Bytecode>)