lean::meta::ce_int< ConstIntExpr > Struct Template Reference

Helper struct that may be used to pass constant integers (compile-time literals). More...

#include <constexpr.h>

List of all members.

Static Public Attributes
static const int	value = ConstIntExpr
	Integer literal.

---

Detailed Description

template<int ConstIntExpr>
struct lean::meta::ce_int< ConstIntExpr >

Helper struct that may be used to pass constant integers (compile-time literals).

---

The documentation for this struct was generated from the following file:

• constexpr.h