sig
  val ( = ) : Z.t -> Z.t -> bool
  val ( < ) : Z.t -> Z.t -> bool
  val ( > ) : Z.t -> Z.t -> bool
  val ( <= ) : Z.t -> Z.t -> bool
  val ( >= ) : Z.t -> Z.t -> bool
  val ( <> ) : Z.t -> Z.t -> bool
end