(module raw_buf_float
  (fn main
    (doc "raw-buf.4 Float variant: fill a 2-slot Float RawBuf with 1.5/2.5 and print their sum (4.0). Exercises RawBuf.new/.set/.get @ Float (double load/store).")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body
      (app print
        (let buf (new RawBuf (con Float) 2)
          (let buf (app RawBuf.set buf 0 1.5)
            (let buf (app RawBuf.set buf 1 2.5)
              (app + (app RawBuf.get buf 0)
                (app RawBuf.get buf 1)))))))))
