sig
  val val_at :
    f:(t:ITimed.time ->
       t1:ITimed.time -> t2:ITimed.time -> v1:'a -> v2:'a -> 'a) ->
    t:ITimed.time -> anim:'a ITimed.animated list -> 'a
  val get_val :
    f:(t:ITimed.time ->
       t1:ITimed.time -> t2:ITimed.time -> v1:'a -> v2:'a -> 'a) ->
    t:ITimed.time -> v:'a ITimed.timed -> 'a
  val get_val1 : t:ITimed.time -> ITimed.t1 -> ITimed.t_x1
  val get_val2 : t:ITimed.time -> ITimed.t2 -> ITimed.t_x2
  val get_val3 : t:ITimed.time -> ITimed.t3 -> ITimed.t_x3
  val get_val4 : t:ITimed.time -> ITimed.t4 -> ITimed.t_x4
  val get_val5 : t:ITimed.time -> ITimed.t5 -> ITimed.t_x5
  val get_val6 : t:ITimed.time -> ITimed.t6 -> ITimed.t_x6
  val get_val7 : t:ITimed.time -> ITimed.t7 -> ITimed.t_x7
  val get_val8 : t:ITimed.time -> ITimed.t8 -> ITimed.t_x8
  val get_val9 : t:ITimed.time -> ITimed.t9 -> ITimed.t_x9
  val inter1 :
    t:ITimed.time ->
    t1:ITimed.time ->
    t2:ITimed.time -> v1:ITimed.t_x1 -> v2:ITimed.t_x1 -> ITimed.t_x1
  val inter2 :
    t:ITimed.time ->
    t1:ITimed.time ->
    t2:ITimed.time -> v1:ITimed.t_x2 -> v2:ITimed.t_x2 -> ITimed.t_x2
  val inter3 :
    t:ITimed.time ->
    t1:ITimed.time ->
    t2:ITimed.time -> v1:ITimed.t_x3 -> v2:ITimed.t_x3 -> ITimed.t_x3
  val inter4 :
    t:ITimed.time ->
    t1:ITimed.time ->
    t2:ITimed.time -> v1:ITimed.t_x4 -> v2:ITimed.t_x4 -> ITimed.t_x4
  val inter5 :
    t:ITimed.time ->
    t1:ITimed.time ->
    t2:ITimed.time -> v1:ITimed.t_x5 -> v2:ITimed.t_x5 -> ITimed.t_x5
  val inter6 :
    t:ITimed.time ->
    t1:ITimed.time ->
    t2:ITimed.time -> v1:ITimed.t_x6 -> v2:ITimed.t_x6 -> ITimed.t_x6
  val inter7 :
    t:ITimed.time ->
    t1:ITimed.time ->
    t2:ITimed.time -> v1:ITimed.t_x7 -> v2:ITimed.t_x7 -> ITimed.t_x7
  val inter8 :
    t:ITimed.time ->
    t1:ITimed.time ->
    t2:ITimed.time -> v1:ITimed.t_x8 -> v2:ITimed.t_x8 -> ITimed.t_x8
  val inter9 :
    t:ITimed.time ->
    t1:ITimed.time ->
    t2:ITimed.time -> v1:ITimed.t_x9 -> v2:ITimed.t_x9 -> ITimed.t_x9
end