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