module type Sig = Sigs.Deriv with module Eval.Spec = Spec.Eval with module Deriv.Spec = Spec
Sigs.Deriv
with module Eval.Spec = Spec.Eval
with module Deriv.Spec = Spec