Function opens_invariants_none

pub fn opens_invariants_none()