def sys.read.fuel

ezsys@0.1.0.0 · src/sys.bend:32

import Base

32# reads one file.read makes at most
33def sys.read.fuel() -> Nat:
34  65536n