sig
  type t
  type hyper_t
  val calc :
    Interfaces.Sigs.Deriv.Deriv.Inputs.t ->
    sigma2:float -> Interfaces.Sigs.Deriv.Deriv.Model.t
  val update_sigma2 :
    Interfaces.Sigs.Deriv.Deriv.Model.t ->
    float -> Interfaces.Sigs.Deriv.Deriv.Model.t
  val calc_eval :
    Interfaces.Sigs.Deriv.Deriv.Model.t -> Interfaces.Sigs.Eval.Model.t
  val calc_log_evidence_sigma2 : Interfaces.Sigs.Deriv.Deriv.Model.t -> float
  val prepare_hyper :
    Interfaces.Sigs.Deriv.Deriv.Model.t ->
    Interfaces.Sigs.Deriv.Deriv.Model.hyper_t
  val calc_log_evidence :
    Interfaces.Sigs.Deriv.Deriv.Model.hyper_t ->
    Interfaces.Sigs.Deriv.Deriv.Spec.Hyper.t -> float
end