Subject: Re: [boost] [contract] toward N3351 concepts
From: Andrew Sutton (asutton.list_at_[hidden])
Date: 2012-10-08 20:24:42
> 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