pub fn validate_fun_decl(decl: &LcnfFunDecl) -> Result<(), ValidationError>
Validate a function declaration.