def ov_val

bend-collections-laws-math@1.0.0.0 · spec/math/fixed.bend:59

import Base
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as F

59def ov_val(~T: Data, ~val: T -> Nat, r: F.Over<T>) -> Nat:
60  match r:
61    case F.OV{v, f}:
62      val(v)