// Generated by Obelisk 0.40.0
package testing:fibo-obelisk-ext;

interface fibo {
  use obelisk:types/execution@5.0.0.{execution-id};
  use obelisk:types/join-set@5.0.0.{join-set};
  use obelisk:types/execution@5.0.0.{await-next-extension-error, get-extension-error};

  fibo-submit: func(join-set: borrow<join-set>, n: u8) -> execution-id;

  fibo-await-next: func(join-set: borrow<join-set>) -> result<result<u64>, await-next-extension-error>;

  fibo-get: func(execution-id: execution-id) -> result<result<u64>, get-extension-error>;
}

