Module type Fitc_gp.Deriv_sig

module type Deriv_sig = functor (Spec : Interfaces.Specs.Deriv) -> Sigs.Deriv 
    with module Eval.Spec = Spec.Eval 
    with module Deriv.Spec = Spec
Parameters:
Spec : Interfaces.Specs.Deriv