def missing

ezx@1.11.0.0 · src/init/plan.bend:93

import Base

93# the rules a file does not already state, in order
94def missing(rs: List<&2, String>, +ls: List<&2, String>) -> List<&2, String>:
95  match rs:
96    case Nil{}:
97      Nil{}
98    case Con{+h, t}:
99      +more = missing(t, ls)
100      Bool.pick(List<&2, String>, stated(ls, h), more, h <> more)