sig
  type t
  val create : unit -> Mark.t
  val equals : Mark.t -> Mark.t -> bool
end