Parameter Make.1-Spec

module Kernel : Interfaces.Specs.Kernel

Kernel used for evaluation

module Inducing : sig ... end

Signature for evaluating inducing inputs

module Input : sig ... end

Signature for evaluating single inputs

module Inputs : sig ... end

Signature for evaluating multiple inputs