Function vstd::prelude::opens_invariants_except

pub fn opens_invariants_except<A>(_a: A)