val spec_serializer_key : P.spec_serializer spec_parser_key
val spec_serializer_key : P.spec_serializer spec_parser_key
let spec_serializer_key = F.key_spec_serializer
module Zeta.Steel.ApplicationTypes

module S = Zeta.KeyValueStore.Spec
module F = Zeta.KeyValueStore.Formats

/// Implementation of the steel/Zeta.Steel.ApplicationsTypes interface
///   for the key value store app

type key_type = F.key_t

let spec_parser_key = F.key_spec_parser
/
Zeta.KeyValueStore.Spec.fsti.checked Zeta.KeyValueStore.Formats.fsti.checked prims.fst.checked FStar.UInt32.fsti.checked FStar.UInt16.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked
Zeta.Steel.ApplicationTypes.fst
Zeta.Steel.Parser.spec_serializer Zeta.Steel.ApplicationTypes.spec_parser_key
Zeta.KeyValueStore.Formats.Spec.key_spec_serializer
let spec_serializer_key =
  
F.key_spec_serializer