Module int

Source

Structsยง

IntDeducer
A structure using a basic deduction strategy for every type int, bool, etc.