def plus
import bend-collections-laws-math@1.0.0.0/src/math/random/rand.bend as Randimport Base
216def plus(-S: Data, +lo: Nat, p: Nat & S) -> Nat & S:
217 (k, s) = p
218 (Nat.add(lo, k), s)
import bend-collections-laws-math@1.0.0.0/src/math/random/rand.bend as Randimport Base
216def plus(-S: Data, +lo: Nat, p: Nat & S) -> Nat & S:
217 (k, s) = p
218 (Nat.add(lo, k), s)