Module Odoc_odoc__Or_error