pub type UnifyResult = Result<(), UnifyErr>;
pub enum UnifyResult { Ok(()), Err(UnifyErr), }
Contains the success value
Contains the error value