Call_forest.Make_digest_sig
module T : Mina_wire_types.Mina_base.Zkapp_command.Digest_types.S
module type S = Digest_intf with type Account_update.Stable.V1.t = T.Account_update.V1.t and type Forest.Stable.V1.t = T.Forest.V1.t