val application_key: eqtype
val application_key: eqtype
let application_key = Zeta.Steel.ApplicationTypes.key_type
module Zeta.Formats.Aux.External.App
/
Zeta.Steel.ApplicationTypes.fsti.checked prims.fst.checked FStar.Pervasives.fsti.checked
Zeta.Formats.Aux.External.App.fst
Prims.eqtype
Zeta.Steel.ApplicationTypes.key_type
let application_key =
  
Zeta.Steel.ApplicationTypes.key_type