def heads.has

emerging-eztoml@0.9.0.0 · main.bend:1974

import Base

1974# whether a table path was defined, by a header or by dotted keys
1975def heads.has(hs: List<&2, String>, +pp: String) -> Bool:
1976  match hs:
1977    case []:
1978      False{}
1979    case SCon{_mark, h} <> t:
1980      heads.or(str.eq(h, pp), heads.has(t, pp))
1981    case SNil{} <> t:
1982      heads.has(t, pp)