law new_too_large

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

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

162law new_too_large:
163  for +n: U32
164  for value: F32
165  for +over: {U32.is_le(n, 1048576) == False{} : Bool}
166  {refused(n, value) == Some{Storage.TooLarge{}} : Maybe<&2, Storage.Error>}