Function resolve_local

pub(super) fn resolve_local(
    locals: &[(String, Ty)],
    name: &str,
) -> Result<Ty, ElabError>