vstd::prelude

Function requires

pub fn requires<A>(_a: A)