law Health.pick_succ

gralha-bendquest@0.1.0.0 · health.bend:194

import Base

194law Health.pick_succ:
195  for +order: Cmp
196  for +a: Nat
197  for +b: Nat
198  {Health.pick(order, Succ{a}, Succ{b}) == Succ{Health.pick(order, a, b)} : Nat}