Module type Best_tip_prover.CONTEXT

val logger : Logger.t