Module type Odoc_man.Man_generator