Function type_checking::semantics::check

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

check returns an Err iff at least one errors was emitted through context.