def heads.define.new

emerging-eztoml@0.9.0.0 · main.bend:2018

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml

import Base

2018# a table defined by a dotted key is recorded once
2019def heads.define.new(seen: Bool, path: String, heads: List<&2, String>) -> List<&2, String>:
2020  match seen:
2021    case True{}:
2022      heads
2023    case False{}:
2024      heads.by.dot(path) <> heads

Uses (4)

Used by (1)

emerging-eztoml@0.9.0.0/main:heads.define