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