module Cov_const:sig..end
k(x, y) = 1/s^2
logtheta = log(s)
module Params:sig..end
module Eval:Evalwith type Kernel.params = Params.twith type Inducing.t = intwith type Input.t = unitwith type Inputs.t = int
module Deriv:Derivwith module Eval = Evalwith type Hyper.t = [ `Log_theta ]