sig
  val val_at : t:IpTimed.time -> anim:('a, 'b) IpTimed.animated list -> 'a
  val get_val : t:IpTimed.time -> tv:('a, 'b) IpTimed.timed -> 'a
end