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