Function wasm2c_marshal

src/writeback.rs:8–13

(res: RuntimeResult<T>)

#[with_ghost_var(trace: &mut Trace)]
pub fn wasm2c_marshal<T>(res: RuntimeResult<T>) -> u32 {
    match res {
        Ok(r) => 0,
        Err(err) => err.into(),
    }
}

#[with_ghost_var(trace: &mut Trace)]
#[requires(ctx_safe(ctx))]