Method from_bytes

crates/ixvm-codegen/src/env_handle.rs:32–55

Decode a serialized env blob (`Ixon.serEnv` output) via `Env::get`, then harvest `anon_hints` from each `Def` named entry. Used by the compiled-Lean-env path where the env is built in Lean memory and serialized for the cross-FFI handoff.

(bytes: &[u8])

  pub fn from_bytes(bytes: &[u8]) -> Result<Self, String> {
    let mut cursor: &[u8] = bytes;
    let env = Env::get(&mut cursor)?;
    Ok(Self { env })
  }
}