val application_value: eqtype
val application_value: eqtype
let application_value = Zeta.Steel.ApplicationTypes.value_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.value_type
let application_value =
  
Zeta.Steel.ApplicationTypes.value_type