Bitlist.step: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/containers/bitlist.bend as Bitlist
Lines 300-319 of bend-collections@1.0.0.0/src/containers/bitlist.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&start_line=300&end_line=319

import Base
import bend-collections@1.0.0.0/src/containers/types/bitlist.bend as E

def step(s: Bitlist, op: E.Op) -> Bitlist & E.Obs:
  match op:
    case E.Length{}:
      obs_nat(length(s))
    case E.Limit{}:
      obs_limit(limit(s))
    case E.Get{+i}:
      obs_bit(get(s, i))
    case E.Assign{+i, +v}:
      obs_unit(assign(s, i, v))
    case E.Push{+v}:
      obs_unit(push(s, v))
    case E.Pop{}:
      obs_bit(pop(s))
    case E.Clear{}:
      (clear(s), E.OUnit{Done{Unit{}}})
    case E.Count{}:
      obs_nat(count(s))
    case E.ToList{}:
      obs_bits(to_list(s))

Uses (21):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=Bitlist
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=assign
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=clear
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=count
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=get
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=length
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=limit
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=obs_bit
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=obs_bits
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=obs_limit
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=obs_nat
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=obs_unit
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=pop
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=push
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/bitlist.bend&name=to_list
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/types/bitlist.bend&name=Obs
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/types/bitlist.bend&name=Op