sig
  val val_at :
    f:(t:Timed.time -> t1:Timed.time -> t2:Timed.time -> v1:'a -> v2:'a -> 'a) ->
    t:Timed.time -> anim:'a Timed.animated list -> 'a
  val get_val :
    f:(t:Timed.time -> t1:Timed.time -> t2:Timed.time -> v1:'a -> v2:'a -> 'a) ->
    t:Timed.time -> v:'a Timed.timed -> 'a
  val get_val1 : t:Timed.time -> Timed.t1 -> Timed.t_x1
  val get_val2 : t:Timed.time -> Timed.t2 -> Timed.t_x2
  val get_val3 : t:Timed.time -> Timed.t3 -> Timed.t_x3
  val get_val4 : t:Timed.time -> Timed.t4 -> Timed.t_x4
  val get_val5 : t:Timed.time -> Timed.t5 -> Timed.t_x5
  val get_val6 : t:Timed.time -> Timed.t6 -> Timed.t_x6
  val inter1 :
    t:Timed.time ->
    t1:Timed.time ->
    t2:Timed.time -> v1:Timed.t_x1 -> v2:Timed.t_x1 -> Timed.t_x1
  val inter2 :
    t:Timed.time ->
    t1:Timed.time ->
    t2:Timed.time -> v1:Timed.t_x2 -> v2:Timed.t_x2 -> Timed.t_x2
  val inter3 :
    t:Timed.time ->
    t1:Timed.time ->
    t2:Timed.time -> v1:Timed.t_x3 -> v2:Timed.t_x3 -> Timed.t_x3
  val inter4 :
    t:Timed.time ->
    t1:Timed.time ->
    t2:Timed.time -> v1:Timed.t_x4 -> v2:Timed.t_x4 -> Timed.t_x4
  val inter5 :
    t:Timed.time ->
    t1:Timed.time ->
    t2:Timed.time -> v1:Timed.t_x5 -> v2:Timed.t_x5 -> Timed.t_x5
  val inter6 :
    t:Timed.time ->
    t1:Timed.time ->
    t2:Timed.time -> v1:Timed.t_x6 -> v2:Timed.t_x6 -> Timed.t_x6
end