Module Clock_expression.Ordered_integer_var

module Ordered_integer_var: sig .. end

type t = Clock_expression.integer_variable 

val compare : Clock_expression.integer_variable -> Clock_expression.integer_variable -> int