Module Cov_lin_ard.Deriv

module Deriv: Deriv 
    with module Eval = Eval 
    with type Hyper.t = [ `Log_ell of int ]