type Measured

stelliferous@0.0.2.0 · proofs/loop_projection.bend:54

import Base

54type Measured<-State: Data> is Data:
55  Measured{result: State,work: Nat}