val application_value_parser: LP.parser application_value_parser_kind application_value
val application_value_parser: LP.parser application_value_parser_kind application_value
let application_value_parser = Spec.application_value_parser
module Zeta.Formats.Aux.Application_value

friend Zeta.Formats.Aux.External.App
open Zeta.Steel.ApplicationTypes
open Zeta.Formats.Lib

module Spec = Zeta.Formats.Aux.Application_value.Spec
module Size = Zeta.Formats.Aux.Application_value.Size
module Low = Zeta.Formats.Aux.Application_value.Low
/
Zeta.Steel.ApplicationTypes.fsti.checked Zeta.Formats.Lib.fst.checked Zeta.Formats.Aux.External.App.fst.checked Zeta.Formats.Aux.Application_value.Spec.fst.checked Zeta.Formats.Aux.Application_value.Size.fsti.checked Zeta.Formats.Aux.Application_value.Low.fsti.checked prims.fst.checked FStar.Seq.fst.checked FStar.Pervasives.fsti.checked
Zeta.Formats.Aux.Application_value.fst
LowParse.Spec.Base.parser Zeta.Formats.Aux.Application_value.application_value_parser_kind
  Zeta.Formats.Aux.Application_value.application_value
Zeta.Formats.Aux.Application_value.Spec.application_value_parser
let application_value_parser =
  
Spec.application_value_parser