Consensus (mina_wire_types.Mina_wire

include module type of Consensus_proof_of_stake

module Types : sig ... end

module type Concrete = sig ... end

module M : Types.S

module type Local_sig = Utils.Signature(Types).S

module Make
  (Signature : Local_sig)
  (_ : functor (A : Concrete) -> Signature(A).S) : 
  Signature(M).S

include Types.S
  with module Body_reference = M.Body_reference
   and module Data = M.Data

module Body_reference = M.Body_reference

module Data = M.Data