def is_known

bend-lint-rules@0.2.0.0 · performance/gpu_fit.bend:92

import Base

92def is_known(slots: List<&2, Slot>, hit: Bool, +t: String) -> Bool:
93  match slots hit:
94    case _ True{}:
95      True{}
96    case Nil{} False{}:
97      False{}
98    case Con{Slot{o, ty}, rest} False{}:
99      is_known(rest, String.eq(o, t), t)