Function vstd::prelude::ensures

pub fn ensures<A>(_a: A)