parser_context_add_sort method

void parser_context_add_sort(Z3_context c, Z3_parser_context pc, Z3_sort s)

\brief Add a sort declaration.

def_API('Z3_parser_context_add_sort', VOID, (_in(CONTEXT), _in(PARSER_CONTEXT), _in(SORT)))

Implementation

void parser_context_add_sort(
  Z3_context c,
  Z3_parser_context pc,
  Z3_sort s,
) {
  return _parser_context_add_sort(
    c,
    pc,
    s,
  );
}