val verifiable_log : app: Zeta.App.app_params -> Type0
let verifiable_log (app:_)
  = Zeta.Generic.Thread.verifiable_log (high_verifier_spec app)
module Zeta.High.Thread

open Zeta.GenKey
open Zeta.GenericVerifier
open Zeta.High.Verifier
open Zeta.Generic.Thread
/
Zeta.MultiSetHashDomain.fsti.checked Zeta.Key.fsti.checked Zeta.High.Verifier.fsti.checked Zeta.GenKey.fsti.checked Zeta.GenericVerifier.fsti.checked Zeta.Generic.Thread.fsti.checked prims.fst.checked FStar.Pervasives.fsti.checked
Zeta.High.Thread.fsti
app: Zeta.App.app_params -> Type0
Zeta.App.app_params Zeta.Generic.Thread.verifiable_log Zeta.High.Verifier.high_verifier_spec
let verifiable_log (app: _) =
  
Zeta.Generic.Thread.verifiable_log (high_verifier_spec app)