Function vstd::prelude::opens_invariants

pub fn opens_invariants<A>(_a: A)