Function cleaver::analysis::types::check_function

pub fn check_function<'a>(functions: &'a Functions,
                          function: &'a Node<Function>)
                          -> Result<'a, ()>