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