12#ifndef CPROVER_CPP_CPP_STATIC_ASSERT_H
13#define CPROVER_CPP_CPP_STATIC_ASSERT_H
24 std::move(_description),
binary_exprt(const exprt &_lhs, const irep_idt &_id, exprt _rhs)
cpp_static_assertt(exprt _cond, exprt _description)
const exprt & cond() const
const exprt & description() const
The type of an expression, extends irept.
API to expression classes.