Module Mina_state.Protocol_state_intf

module type Full = sig ... end