module Label: sig  end
The set of row labels is defined by the module Label.
type t 
The type of row labels.
val compare : t -> t -> int
A function compare definining a total order on row labels must
        be provided.  This order is used for governing label mutations.
val hash : t -> int
hash lbl returns a hash integer of the label lbl.  If
        compare lbl1 lbl2 returns 0 then hash lbl1 and hash lbl2
        must return the same integer.
val fprint : Format.formatter -> t -> unit
fprint ppf lbl pretty-prints the row label lbl on the 
        formatter ppf.