sig
  type t = Clock_expression.integer_variable
  val compare :
    Clock_expression.integer_variable ->
    Clock_expression.integer_variable -> int
end