sig
  type t = [ `Kind | `Prop | `Type | `Unitype ]
  val equal : 'a -> 'a -> bool
  val compare : 'a -> 'a -> int
  val to_string : [< `Kind | `Prop | `Type | `Unitype ] -> string
end