val ms_verifiable_log : app: Zeta.App.app_params -> ep: Zeta.Time.epoch -> Type0
let ms_verifiable_log (app: app_params) (ep: epoch)
  = Zeta.Generic.Global.ms_verifiable_log #(high_verifier_spec app) ep
module Zeta.High.Global

open Zeta.App
open Zeta.Time
open Zeta.Generic.Global
open Zeta.High.Verifier

let vlog (app:app_params) = Zeta.Generic.Global.vlog (high_verifier_spec app)

let verifiable_log (app:_)
  = Zeta.Generic.Global.verifiable_log (high_verifier_spec app)
/
Zeta.Time.fsti.checked Zeta.High.Verifier.fsti.checked Zeta.Generic.Global.fsti.checked Zeta.App.fsti.checked prims.fst.checked FStar.Pervasives.fsti.checked
Zeta.High.Global.fsti
app: Zeta.App.app_params -> ep: Zeta.Time.epoch -> Type0
Zeta.App.app_params Zeta.Time.epoch Zeta.Generic.Global.ms_verifiable_log Zeta.High.Verifier.high_verifier_spec
let ms_verifiable_log (app: app_params) (ep: epoch) =
  
Zeta.Generic.Global.ms_verifiable_log #(high_verifier_spec app) ep