law Numeric.no_self_successor

gralha-bendquest@0.1.0.0 · numeric.bend:121

import Base
import gralha-bendquest@0.1.0.0/game.bend as G

121law Numeric.no_self_successor:
122  for +n: Nat
123  {G.Bq.Nat.le(Succ{n}, n) == False{} : Bool}