Module Os.Name

The type for OS identifiers.

The type for OS names.

Names are sorted into families. The datum of each family has the concrete OS identifier.

Warning. Minor versions of the library may add new family enumerants or attach a family to an identifier previously classified as Other (moving between families should not happen, except to fix the odd bug). As such:

• Pattern matching on Other "…" constants is not recommended. If you need to select such an identifier start by pattern matching on id before dropping to pattern matching on this type.
• Unless you want your code to be informed by the introduction of a new family, end your pattern match with a catch all branch _ rather than Other _.

id n is the identifier of n.

equal asserts equality by family, except for Other id values which are each their own distinct family.

compare is a total order compatible with equal.

pp formats families for inspection. The concrete identifier is not printed.

pp_id ppf n formats the id of n.