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