odoc icon indicating copy to clipboard operation
odoc copied to clipboard

Simplify idents

Open Julow opened this issue 1 year ago • 0 comments

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

Julow avatar Jul 29 '24 12:07 Julow