Phc.strip_go: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend as Phc
Lines 275-285 of bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend&start_line=275&end_line=285

import Base

# s without the prefix lit, or None (same says the first characters agree).
def strip_go(lit: String, s: String, same: Bool) -> Maybe<&2, String>:
  match lit s same:
    case SNil{} _ _:
      Some{s}
    case SCon{a, lt} SNil{} _:
      None{}
    case SCon{a, +lt} SCon{b, +st} True{}:
      strip_go(lt, st, heads(lt, st))
    case SCon{a, lt} SCon{b, st} False{}:
      None{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/phc.bend&name=heads