law accumulator_included

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/proofs/map_lookup.bend:143

import Base

143law accumulator_included:
144  for -V: Data
145  for tree: Map<&2, Maybe<&2, V>>
146  for +acc: List<&2, Sigma<&2, &2, String, _ => Maybe<&2, V>>>
147  for +key: String
148  for +value: V
149  for member: listed(V, acc, key, value)
150  listed(V, Map.to_list.go(&2, Maybe<&2, V>, tree, acc), key, value)