Module Clock_expression.Word_var_map

module Word_var_map: Map.Make(sig
type t = Clock_expression.word_variable 

val compare : 'a -> 'a -> int
end)