sig
  type t
  val calc :
    Gpr_interfaces.Sigs.Eval.Inducing.t ->
    Spec.Input.t -> Gpr_interfaces.Sigs.Eval.Input.t
end