Seq.next_slot: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/seq.bend as Seq
Lines 107-109 of cswap-bend-cli@0.1.0.0/store/seq.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&start_line=107&end_line=109

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

# max(slot) + 1, or 1 for an empty roster.
def next_slot(+seq: Json.Json) -> U32:
  (max_in(fields_of(seq), 0) + 1 : U32)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=fields_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=max_in