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.