// Returns a reference-to-t. Note references collapse: &(&t) is equivalent // to &t. Type& make_reference_type(Context& cxt, Type& t) { if (is_reference_type(t)) return t; else return cxt.get_reference_type(t); }
// Returns true if `e` has reference type. bool has_reference_type(Expr const& e) { return is_reference_type(e.type()); }