sig
  type time = int
  type ('a, 'b) animated =
      From of ITimed.time * 'a
    | Evol of ITimed.time * ITimed.time * (ITimed.time -> 'b -> 'a) * 'b
  type ('a, 'b) timed =
      Static of 'a
    | Animated of ('a, 'b) ITimed.animated list
  val val_at : ITimed.time -> ('a, 'b) ITimed.animated list -> 'a
  val get_val : ITimed.time -> ('a, 'b) ITimed.timed -> 'a
  val finished : ITimed.time -> ('a, 'b) ITimed.animated list -> bool
  module Labels :
    sig
      val val_at : t:ITimed.time -> anim:('a, 'b) ITimed.animated list -> 'a
      val get_val : t:ITimed.time -> tv:('a, 'b) ITimed.timed -> 'a
    end
end