Stack_frame.Make_sig
module A : Wire_types.Types.S
module type S = Stack_frame_digest_intf with type Stable.V1.t = A.V1.t