sig
  val check_deriv_hyper :
    ?eps:float ->
    ?tol:float ->
    Eval.Spec.Kernel.t ->
    Eval.Spec.Inducing.t ->
    Eval.Spec.Inputs.t -> Interfaces.Sigs.Deriv.Deriv.Spec.Hyper.t -> unit
  val self_test :
    ?eps:float ->
    ?tol:float ->
    Eval.Spec.Kernel.t ->
    Eval.Spec.Inducing.t ->
    Eval.Spec.Inputs.t ->
    sigma2:float ->
    targets:Lacaml.D.vec ->
    [ `Hyper of Interfaces.Sigs.Deriv.Deriv.Spec.Hyper.t | `Sigma2 ] -> unit
end