Function opens_invariants_except

pub fn opens_invariants_except<A>(_a: A)