F32.read: law of Base
Import: import Base
Lines 1830-1832 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=1830&end_line=1832

import Base

law F32.read:
  for s: String
  Maybe<&2, F32>

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String