sig
  type upper
  val calc_shared_upper :
    Eval.Kernel.t ->
    Gpr_interfaces.Specs.Eval.Inducing.t ->
    Lacaml.D.mat * Gpr_interfaces.Specs.Deriv.Inducing.upper
  val calc_deriv_upper :
    Gpr_interfaces.Specs.Deriv.Inducing.upper ->
    Gpr_interfaces.Specs.Deriv.Hyper.t -> Gpr_interfaces.symm_mat_deriv
end