Function test_generation::transitions::get_function_instantiation_for_state

source · 
pub fn get_function_instantiation_for_state(
    state: &AbstractState,
    function_index: FunctionInstantiationIndex
) -> (FunctionHandleIndex, Vec<SignatureToken>)