Module Dalton_sig.GROUND.Label


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.