Module Odoc_examples__Resolution