mk_bool_sort method

Z3_sort mk_bool_sort(
  1. Z3_context c
)

\brief Create the Boolean type.

This type is used to create propositional variables and predicates.

def_API('Z3_mk_bool_sort', SORT, (_in(CONTEXT), ))

Implementation

Z3_sort mk_bool_sort(
  Z3_context c,
) {
  return _mk_bool_sort(
    c,
  );
}