Intf.CONTEXT
val logger : Logger.t
val constraint_constants : Genesis_constants.Constraint_constants.t
val consensus_constants : Constants.t