Type Definition kailua_types::diag::TypeResult [−] [src]

type TypeResult<T> = Result<T, TypeReport>;

The result type for any procedure that can generate type reports.