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