def mul_with

bend-collections-laws-math@1.0.0.0 · proofs/math/natural/lists.bend:49

import Base
import bend-collections-laws-math@1.0.0.0/spec/math/natural.bend as S

49# m is a multiple of every element: m == ks[i] xs[i]
50def mul_with(+m: Nat, +xs: List<&2, Nat>, +ks: List<&2, Nat>) -> Type:
51  S.mul_with(m, xs, ks)