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