• Public

  • Public
  • Network
  • Groups
  • Featured
  • Popular
  • People

sc_value_raises_t sc_typify_template(sc_value_t f, int numtypes, const sc_type_t *typeargs) { using namespace scopes; C_WRAP { auto tf = extract_template_constant(f); if (is_inline(tf)) { SCOPES_ERROR(CannotTypeInline); } Types types; for (int i = 0; i < numtypes; ++i) { types.push_back(typeargs[i]); } return prove({}, tf, types); }; }