Function type_checking::checker::check

pub fn check<'ast, 'src>(
    strtab: &mut StringTable<'src>, 
    ast: &'ast AST<'src>, 
    context: &Context<'src>
) -> (TypeSystem<'src, 'ast>, TypeAnalysis<'src, 'ast>)