Function validate_kernel 

pub fn validate_kernel(kernel: &Kernel) -> Result<(), CompileError>

Validate and type-check a kernel definition.

Errors

Returns CompileError if the kernel has type errors or undefined variables.