sig type t val calc : Eval.Spec.Kernel.t -> Eval.Spec.Inducing.t -> Interfaces.Sigs.Deriv.Deriv.Inducing.t val calc_eval : Interfaces.Sigs.Deriv.Deriv.Inducing.t -> Interfaces.Sigs.Eval.Inducing.t end