Compose.co.push: def of yaml-for-bend@0.1.1.0
Import: import yaml-for-bend@0.1.1.0/compose.bend as Compose
Lines 478-483 of yaml-for-bend@0.1.1.0/compose.bend: https://jend.leeeet.dev/read.txt?path=yaml-for-bend@0.1.1.0/compose.bend&start_line=478&end_line=483

import Base
import yaml-for-bend@0.1.1.0/token.bend as T

# A collection opens, unless collections already nest as deep as allowed.
def co.push(co: Co, o: Open, +limit: Nat, at: T.Mark) -> Result<&2, &2, T.Error, Co>:
  match co:
    case Co{stack, anchors, count, root, docs, opened, +depth, copied}:
      when(Result<&2, &2, T.Error, Co>, Nat.is_ge(depth, limit), u => Fail{limit.error("found nesting deeper than the depth limit of " ++ Nat.show(limit), at)},
        u => Done{Co{o <> stack, anchors, count, root, docs, opened, 1n+depth, copied}})

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/compose.bend&name=Co
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/compose.bend&name=Open
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/compose.bend&name=limit.error
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/compose.bend&name=when
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/token.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=yaml-for-bend@0.1.1.0/token.bend&name=Mark