val spec_parser_app_record: Zeta.Steel.Parser.spec_parser (key_type & option value_type)
val spec_parser_app_record: Zeta.Steel.Parser.spec_parser (key_type & option value_type)
let spec_parser_app_record b = match spec_parser_app_record' b with
  | None -> None
  | Some (res, consumed) -> Some (res, consumed)
module Zeta.Steel.ApplicationRecord

friend Zeta.Formats.Aux.Application_key
friend Zeta.Formats.Aux.Application_value

let spec_parser_app_record' =
  LowParse.Spec.Combinators.nondep_then
    Zeta.Formats.Aux.Application_key.application_key_parser
    (LowParse.Spec.Option.parse_option Zeta.Formats.Aux.Application_value.application_value_parser)
/
Zeta.Formats.Aux.Application_value.fst.checked Zeta.Formats.Aux.Application_key.fst.checked prims.fst.checked LowParse.Spec.Option.fst.checked LowParse.Spec.Combinators.fsti.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked
Zeta.Steel.ApplicationRecord.fst
Zeta.Steel.Parser.spec_parser (Zeta.Steel.ApplicationTypes.key_type *
    FStar.Pervasives.Native.option Zeta.Steel.ApplicationTypes.value_type)
Zeta.Steel.Parser.bytes Zeta.Steel.ApplicationRecord.spec_parser_app_record' FStar.Pervasives.Native.None FStar.Pervasives.Native.tuple2 Zeta.Steel.ApplicationTypes.key_type FStar.Pervasives.Native.option Zeta.Steel.ApplicationTypes.value_type Prims.nat Zeta.Formats.Aux.Application_key.application_key Zeta.Formats.Aux.Application_value.application_value LowParse.Spec.Base.consumed_length FStar.Pervasives.Native.Some FStar.Pervasives.Native.Mktuple2 Zeta.Steel.Parser.parser_result
let spec_parser_app_record b =
  
match spec_parser_app_record' b with
| None -> None
| Some (res, consumed) -> Some (res, consumed)