Function sp_state_machine::prove_execution

pub fn prove_execution<B, H, Exec>(
    backend: B, 
    overlay: &mut OverlayedChanges, 
    exec: &Exec, 
    method: &str, 
    call_data: &[u8]
) -> Result<(Vec<u8>, StorageProof), Box<dyn Error>> where
    B: Backend<H>,
    H: Hasher<Out = H256>,
    Exec: CodeExecutor, 

Prove execution using the given state backend, overlayed changes, and call executor.