Re: [boost] [contract] toward N3351 concepts

Or what mechanism should be used to allow types which fulfil axioms only partly? axiom_cast<double,TotallyOrdered> ?

I think Andrzej's last comments may address your questions. They were very insightful and worth reading closely. Andrew