vstd::prelude

Function opens_invariants_any

pub fn opens_invariants_any()