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