• 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; SCOPES_C_RESULT_TYPE(Value); auto tf = SCOPES_C_GET_RESULT(extract_template_constant(f)); if (is_inline(tf)) { SCOPES_C_ERROR(CannotTypeInline); } Types types; for (int i = 0; i < numtypes; ++i) { types.push_back(typeargs[i]); } SCOPES_C_RETURN(prove({}, tf, types)); }