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