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