Function kernel_function_ty 

pub fn kernel_function_ty() -> Expr

KernelFunction: k: X × X → ℝ, a positive-definite symmetric function Type: Type → Type (representing a kernel on X)