val kvstore_value_parser : P.parser value_spec_parser
val kvstore_value_parser : P.parser value_spec_parser
let kvstore_value_parser =
  P.make_parser
    value_spec_parser
    LL.parse_u64
    (LL.validate_u64 ())
    LL.read_u64
module Zeta.KeyValueStore.Formats.LowStar

module LL = LowParse.Low
module B = LowStar.Buffer
module HST = FStar.HyperStack.ST

friend Zeta.KeyValueStore.Formats.Spec

let kvstore_key_parser =
  P.make_parser
    key_spec_parser
    LL.parse_u64
    (LL.validate_u64 ())
    LL.read_u64

let kvstore_key_serializer =
  P.make_serializer
    _
    key_spec_serializer
    _
    LL.serialize_u64
    LL.serialize32_u64
/
Zeta.KeyValueStore.Formats.Spec.fst.checked prims.fst.checked LowStar.Buffer.fst.checked LowParse.Low.fst.checked FStar.Pervasives.fsti.checked FStar.HyperStack.ST.fsti.checked
Zeta.KeyValueStore.Formats.LowStar.fst
Zeta.LowStar.Parser.parser Zeta.KeyValueStore.Formats.Spec.value_spec_parser
Zeta.LowStar.Parser.make_parser Zeta.KeyValueStore.Formats.Types.value_t LowParse.Spec.Int.parse_u64_kind Zeta.KeyValueStore.Formats.Spec.value_spec_parser LowParse.Spec.Int.parse_u64 LowParse.Low.Int.validate_u64 LowParse.Low.Int.read_u64
let kvstore_value_parser =
  
P.make_parser value_spec_parser LL.parse_u64 (LL.validate_u64 ()) LL.read_u64