val internal_key: eqtype
val internal_key: eqtype
let internal_key = Zeta.Steel.LogEntry.Types.internal_key
module Zeta.Formats.Aux.External
friend Zeta.Steel.KeyUtils
/
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.internal_key
let internal_key =
  
Zeta.Steel.LogEntry.Types.internal_key