Function opens_invariants 

pub fn opens_invariants<A>(_a: A)