error_type_not_ok3.nit:20,12--15: Error: class `Fail` not found in module `error_type_not_ok3`.
error_type_not_ok3.nit:23,18--21: Error: class `Fail` not found in module `error_type_not_ok3`.