Method mk

crates/ffi/src/lean_iroh.rs:18–23

Build from `message` and `hash` strings. ```lean structure PutResponse where message : String hash : String ```

(message: &str, hash: &str)

  ///   hash : String
  /// ```
  pub fn mk(message: &str, hash: &str) -> Self {
    let ctor = LeanPutResponse::alloc(0);
    ctor.set_obj(0, LeanString::new(message));
    ctor.set_obj(1, LeanString::new(hash));
    ctor
  }
}

impl LeanGetResponse<LeanOwned> {