Module Source.Clock_variables

module Clock_variables: sig .. end

val to_string : Source.clock_variable -> string

val create_unknown : sources:Source.active_source list ->
       sub_clocks:Source.clock_variable list -> Source.clock_variable

val create_known : Source.clock -> Source.clock_variable

val unify : Source.clock_variable -> Source.clock_variable -> unit

val get : Source.clock_variable -> Source.clock

val is_known : Source.clock_variable -> bool