module Kernel: Gpr_interfaces.Specs.Kernel
Gpr_interfaces.Specs.Kernel
type t
type params
val create : params -> t
params -> t
create params
params
val get_params : t -> params
t -> params
get_params kernel
kernel