def dvd_with

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

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

45# d divides every element: xs[i] == ks[i] d
46def dvd_with(+d: Nat, +xs: List<&2, Nat>, +ks: List<&2, Nat>) -> Type:
47  S.dvd_with(d, xs, ks)