Module Cov_const.Eval

module Eval: Eval 
    with type Kernel.params = Params.t 
    with type Inducing.t = int 
    with type Input.t = unit 
    with type Inputs.t = int