Intf (consensus.Consensus.Intf)

module type CONTEXT = sig ... end

module type Constants = sig ... end

module type Blockchain_state = sig ... end

module type Protocol_state = sig ... end

module type Snark_transition = sig ... end

module type State_hooks = sig ... end

module type S = sig ... end