Re: [boost] [review][mp11] Formal review of Mp11

On Sat, Jul 15, 2017 at 3:19 AM, Bjorn Reese via Boost wrote:

The formal review of Peter Dimov's Mp11 library is scheduled for July 15 - July 24, 2017 [1].

* The documentation states: "mp_if_c is an alias for T. mp_if_c is an alias for E. Otherwise, the result is a substitution failure." Should that read "mp_if_c"? If not, why? And shouldn't the document address it?