~/jendhub

law bad_step

lawful-fields@0.1.1.0 · proof_num.bend:294

import lawful-fields@0.1.1.0/proof_num.bend as ProofNum
import Base
import lawful-fields@0.1.1.0/defs.bend as F

294law bad_step:
295  for +m: Maybe<&2, Nat>
296  for +dx: Maybe<&2, Nat>
297  for +M: Nat
298  for +hb: Bad(m, M)
299  Bad(F.dec.push(m, dx), M)

Uses (12)

Used by (1)