Function opens_invariants

pub fn opens_invariants<A>(_a: A)