val base_key: eqtype
val base_key: eqtype
let base_key = Zeta.Steel.KeyUtils.base_key
module Zeta.Formats.Aux.External
friend Zeta.Steel.KeyUtils

let significant_digits_t = Zeta.Steel.KeyUtils.significant_digits_t
/
Zeta.Steel.LogEntry.Types.fst.checked Zeta.Steel.KeyUtils.fst.checked prims.fst.checked FStar.Pervasives.fsti.checked
Zeta.Formats.Aux.External.fst
Prims.eqtype
Zeta.Steel.KeyUtils.base_key
let base_key =
  
Zeta.Steel.KeyUtils.base_key