OptionsCodec.decode.hex.copies: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend as OptionsCodec
Lines 256-260 of mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend&start_line=256&end_line=260

import Base

def decode.hex.copies(copies: String & (String & String)) -> Decision:
  match copies:
    case (length_input, (canonical_input, decode_input)):
      decode.hex.sized((canonical_input, decode_input),
        Nat.is_eq(String.length(length_input), 152n))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend&name=decode.hex.sized