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