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