val spec_parser_app_record' : LowParse.Spec.Base.parser (LowParse.Spec.Combinators.and_then_kind Zeta.Formats.Aux.Application_key.application_key_parser_kind
      (LowParse.Spec.Option.parse_option_kind Zeta.Formats.Aux.Application_value.application_value_parser_kind
        ))
  (Zeta.Formats.Aux.Application_key.application_key *
    FStar.Pervasives.Native.option Zeta.Formats.Aux.Application_value.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)
module Zeta.Steel.ApplicationRecord

friend Zeta.Formats.Aux.Application_key
friend Zeta.Formats.Aux.Application_value
/
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
LowParse.Spec.Base.parser (LowParse.Spec.Combinators.and_then_kind Zeta.Formats.Aux.Application_key.application_key_parser_kind
      (LowParse.Spec.Option.parse_option_kind Zeta.Formats.Aux.Application_value.application_value_parser_kind
        ))
  (Zeta.Formats.Aux.Application_key.application_key *
    FStar.Pervasives.Native.option Zeta.Formats.Aux.Application_value.application_value)
LowParse.Spec.Combinators.nondep_then Zeta.Formats.Aux.Application_key.application_key_parser_kind Zeta.Formats.Aux.Application_key.application_key Zeta.Formats.Aux.Application_key.application_key_parser LowParse.Spec.Option.parse_option_kind Zeta.Formats.Aux.Application_value.application_value_parser_kind FStar.Pervasives.Native.option Zeta.Formats.Aux.Application_value.application_value LowParse.Spec.Option.parse_option Zeta.Formats.Aux.Application_value.application_value_parser
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)