module Word_var_set: Set.Make(sigtype t = Clock_expression.word_variable val compare : 'a -> 'a -> intend)
Set.Make
(
sig
type t = Clock_expression.word_variable
Clock_expression.word_variable
val compare : 'a -> 'a -> int
'a -> 'a -> int
end
)