~/jendhub

def decode.hex.copies

mylsm-lsm-store@0.6.0.1 · src/coordinator/OptionsCodec.bend:256

import mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend as OptionsCodec
import Base

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

Uses (7)

Used by (1)