Function vstd::prelude::invariant

pub fn invariant<A>(_a: A)