sig
  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
end