sig
  type t
  val compare : CoreAlgebra.RowLabel.t -> CoreAlgebra.RowLabel.t -> int
  val export : CoreAlgebra.RowLabel.t -> CoreAlgebra.lname
  val import : CoreAlgebra.lname -> CoreAlgebra.RowLabel.t
end