val kvstore_value_serializer : P.serializer value_spec_serializer
val kvstore_value_serializer : P.serializer value_spec_serializer
let kvstore_value_serializer =
  P.make_serializer
    _
    value_spec_serializer
    _
    LL.serialize_u64
    LL.serialize32_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

let kvstore_value_parser =
  P.make_parser
    value_spec_parser
    LL.parse_u64
    (LL.validate_u64 ())
    LL.read_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.serializer Zeta.KeyValueStore.Formats.Spec.value_spec_serializer
Zeta.LowStar.Parser.make_serializer Zeta.KeyValueStore.Formats.Types.value_t LowParse.Spec.Int.parse_u64_kind Zeta.KeyValueStore.Formats.Spec.value_spec_parser Zeta.KeyValueStore.Formats.Spec.value_spec_serializer LowParse.Spec.Int.parse_u64 LowParse.Spec.Int.serialize_u64 LowParse.Low.Int.serialize32_u64
let kvstore_value_serializer =
  
P.make_serializer _ value_spec_serializer _ LL.serialize_u64 LL.serialize32_u64