Module Clock_expression.Integer_var_map

module Integer_var_map: Map.Make(Ordered_integer_var)