sig
  type t = int
  val compare : IntRank.t -> IntRank.t -> int
  val none : IntRank.t
  val outermost : IntRank.t
end