Macro graphene::impl_base_constraint

macro_rules! impl_base_constraint {
    {} => { ... };
}

Expands to the body of a Constraint implementation that has no constraints.

I.e. invariant_holds() always returns true and the other functions all call BaseGraph's constrained functions.