Module Gpr_interfaces.Specs.Eval.Kernel

module Kernel: Gpr_interfaces.Specs.Kernel 
Kernel used for evaluation

type t 
Type of kernel
type params 
Type of kernel parameters
val create : params -> t
create params
Returns kernel given parameters params.
val get_params : t -> params
get_params kernel
Returns parameters used to parameterize kernel.