Kind definition enables declaring an abbreviation for complex kinds:
|
kind_ my_abbrev = value_or_null mod non_null global |
|
(** Declares a kind abbreviation named [my_abbrev]. *) |
|
|
|
type t_abbrev : my_abbrev mod immutable |
|
(** A type with an abbreviated kind. *) |
Currently the use of abbreviations is rendered like any builtin kinds (by #1410 ), but this isn't enough for users to understand what the abbreviation stands for:
- The
kind_ definition is missing in the rendered documentation
- Links from an abbreviation to its definition are missing too
Kind definition enables declaring an abbreviation for complex kinds:
odoc/test/generators/cases/oxcaml.mli
Lines 117 to 121 in af26831
Currently the use of abbreviations is rendered like any builtin kinds (by #1410 ), but this isn't enough for users to understand what the abbreviation stands for:
kind_definition is missing in the rendered documentation