sig type t val get_n_points : Interfaces.Specs.Eval.Inducing.t -> int val calc_upper : Interfaces.Specs.Kernel.t -> Interfaces.Specs.Eval.Inducing.t -> Lacaml.D.mat end