Module Cov_se_fat.Deriv

module Deriv: Deriv 
    with module Eval = Eval 
    with type Hyper.t = Hyper_repr.t