def Laws.has
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
260# Whether `owner` is a law or the proof that fills one.
261def Laws.has(laws: Set(), owner: String) -> Bool:
262 has(laws, local(owner))
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
260# Whether `owner` is a law or the proof that fills one.
261def Laws.has(laws: Set(), owner: String) -> Bool:
262 has(laws, local(owner))