val parse_key : P.parser spec_parser_key
val parse_key : P.parser spec_parser_key
let parse_key = F.kvstore_key_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.parser Zeta.Steel.ApplicationTypes.spec_parser_key
Zeta.KeyValueStore.Formats.kvstore_key_parser
let parse_key =
  
F.kvstore_key_parser