EmergingEztoml.tree.leaf.put: def of emerging-eztoml@0.9.0.0 Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml Lines 2112-2126 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=2112&end_line=2126 import Base # a key that is already present is a duplicate def tree.leaf.put( hit: Hit, name: String, vs: List<&2, Val>, val: Val, stack: List<&2, Fr>, bad: String, heads: List<&2, String> ) -> End: match hit: case Found{_v}: tree.rebuild(stack, vs, err.first(bad, "duplicate key"), heads) case Miss{}: tree.rebuild(stack, VPair{name, val} <> vs, bad, heads) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=End https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Fr https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Hit https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=err.first https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.rebuild