def add_work

stelliferous@0.0.2.0 · proofs/loop_projection.bend:57

import Base

57def add_work(-State: Data,work: Nat,tail: Measured<State>) -> Measured<State>:
58  Measured{result,remaining} = tail
59  Measured{result,Nat.add(work,remaining)}