vstd::prelude

Function invariant

pub fn invariant<A>(_a: A)