Function requires 

pub fn requires<A>(_a: A)