buildInv

Create inclusive invariant for struct/class by aggregating all the invariants in invs[].

void __invariant() const [pure nothrow @trusted]
{
    invs[0](), invs[1](), ...;
}