.TH "Identifiable.Map.T" 3 2024-05-31 OCamldoc "OCaml library" .SH NAME Identifiable.Map.T \- no description .SH Module Module Identifiable.Map.T .SH Documentation .sp Module .BI "T" : .B Map.OrderedType .sp .sp .sp .sp .I type t .sp The type of the map keys\&. .sp .I val compare : .B t -> t -> int .sp A total ordering function over the keys\&. This is a two\-argument function .ft B f .ft R such that .ft B f e1 e2 .ft R is zero if the keys .ft B e1 .ft R and .ft B e2 .ft R are equal, .ft B f e1 e2 .ft R is strictly negative if .ft B e1 .ft R is smaller than .ft B e2 .ft R , and .ft B f e1 e2 .ft R is strictly positive if .ft B e1 .ft R is greater than .ft B e2 .ft R \&. Example: a suitable ordering function is the generic structural comparison function .ft B compare .ft R \&. .sp