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