Function validate

Source
pub fn validate(u: UInt) -> Result<(), Error>