Function dyon::lifetime::check

pub fn check(data: &[Range<MetaData>],
             prelude: &Prelude)
             -> Result<HashMap<Arc<String>, Type>, Range<String>>

Checks lifetime constraints and does type checking. Returns refined return types of functions to put in AST.