val spec_parser_key : P.spec_parser key_type
val spec_parser_key : P.spec_parser key_type
let spec_parser_key = F.key_spec_parser
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
/
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_parser Zeta.Steel.ApplicationTypes.key_type
Zeta.KeyValueStore.Formats.Spec.key_spec_parser
let spec_parser_key =
  
F.key_spec_parser