val application_key_serializer:serializer application_key_parser
val application_key_serializer:serializer application_key_parser
let application_key_serializer : serializer application_key_parser =
  spec_serializer_key
module Zeta.Formats.Aux.Application_key.Spec
open Zeta.Steel.ApplicationTypes
open Zeta.Formats.Lib
open LowParse.Spec.Base

let application_key_parser : parser (strong_parser_kind 0 2040 None) _ =
  parser_intro key_type spec_parser_key spec_serializer_key spec_parser_key_injective spec_parser_key_strong_prefix 0 2040 serialized_key_length;
  bare_parser_of_spec_parser spec_parser_key
/
Zeta.Steel.ApplicationTypes.fsti.checked Zeta.Formats.Lib.fst.checked prims.fst.checked LowParse.Spec.Base.fsti.checked FStar.Pervasives.fsti.checked
Zeta.Formats.Aux.Application_key.Spec.fst
LowParse.Spec.Base.serializer Zeta.Formats.Aux.Application_key.Spec.application_key_parser
Zeta.Steel.ApplicationTypes.spec_serializer_key
let application_key_serializer:serializer application_key_parser =
  
spec_serializer_key