Module Odoc_examples__