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