Module Clock_expression.Integer_var_set

module Integer_var_set: Set.Make(Ordered_integer_var)