mk_true method

Z3_ast mk_true(
  1. Z3_context c
)

@name Propositional Logic and Equality / /**@{/ /** \brief Create an AST node representing \c true.

def_API('Z3_mk_true', AST, (_in(CONTEXT), ))

Implementation

Z3_ast mk_true(
  Z3_context c,
) {
  return _mk_true(
    c,
  );
}