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