odoc
odoc copied to clipboard
Simplify idents
Use 'type_' idents instead of 'class_' and 'class_type'. Use 'module_' instead of 'functor_parameter' and 'result'. This allows to remove some code.
This is extracted from Jon's parameterised-paths branch