law new_fits

bendtorch-core@0.1.0.0 · src/storage/LAWS.bend:168

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage

168law new_fits:
169  for +n: U32
170  for value: F32
171  for +fits: {U32.is_le(n, 1048576) == True{} : Bool}
172  {refused(n, value) == None{} : Maybe<&2, Storage.Error>}