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.