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