package test:resource-floats;

interface test {
  resource float {
    constructor(v: f64);
    get: func() -> f64;
  }
}

world resource-floats {
  use test.{float};

  export exports: interface {
    resource float {
      constructor(v: f64);
      get: func() -> f64;
      add: static func(a: float, b: f64) -> float;
    }
  }

  import imports: interface {
    resource float {
      constructor(v: f64);
      get: func() -> f64;
      add: static func(a: float, b: f64) -> float;
    }
  }

  export add: func(a: borrow<float>, b: borrow<float>) -> own<float>;
}