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