<r>QuoteWhen calling a boost Maths function, how do you know the contract?You can specify it:// Call the function applying my_policy:double t1 = tgamma(my_value, my_policy());QuoteI already posted Contract++ which hopes to formalize all this. It is based on Eiffel which had it > 20 years ago. C# imp...