Input.unique: def of bend-kit-camber@0.15.0.1
Import: import bend-kit-camber@0.15.0.1/input.bend as Input
Lines 272-279 of bend-kit-camber@0.15.0.1/input.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-camber@0.15.0.1/input.bend&start_line=272&end_line=279

import Base
import bend-kit-json@0.7.0.0/json.bend as Json

def unique(fuel: Nat, step: Maybe<&1, Walk>) -> Maybe<&1, Json.Val>:
  match fuel:
    case 0n: None{}
    case 1n+rest:
      match step:
        case None{}: None{}
        case Some{Returned{value, Nil{}}}: Some{value}
        case Some{state}: unique(rest, unique.step(state))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/input.bend&name=Walk
  https://jend.leeeet.dev/definition.txt?path=bend-kit-camber@0.15.0.1/input.bend&name=unique.step
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Val