Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type_ ~hide ty
is ty -> ty -> result_type
where result_type
is int
for compare
and bool
for equal
.
hide
controls whether some [@merlin.hide]
attributes should be added.
core_type ty
is an expression of type ty -> ty -> result_type
module Attrs : sig ... end