sig
  type t
  type params
  val create : Interfaces.Specs.Kernel.params -> Interfaces.Specs.Kernel.t
  val get_params :
    Interfaces.Specs.Kernel.t -> Interfaces.Specs.Kernel.params
end