sig
  type time = float
  type ease_func = FTimed.time -> FTimed.time
  type 'a animated =
      [ `At of FTimed.time * 'a
      | `Change of FTimed.time * FTimed.time * FTimed.ease_func * 'a * 'a ]
  type 'a timed = [ `Animated of 'a FTimed.animated list | `Static of 'a ]
  type t = float
  type t_x1 = FTimed.t
  type t_x2 = FTimed.t * FTimed.t
  type t_x3 = FTimed.t * FTimed.t * FTimed.t
  type t_x4 = FTimed.t * FTimed.t * FTimed.t * FTimed.t
  type t_x5 = FTimed.t * FTimed.t * FTimed.t * FTimed.t * FTimed.t
  type t_x6 = FTimed.t * FTimed.t * FTimed.t * FTimed.t * FTimed.t * FTimed.t
  type t_x7 =
      FTimed.t * FTimed.t * FTimed.t * FTimed.t * FTimed.t * FTimed.t *
      FTimed.t
  type t_x8 =
      FTimed.t * FTimed.t * FTimed.t * FTimed.t * FTimed.t * FTimed.t *
      FTimed.t * FTimed.t
  type t_x9 =
      FTimed.t * FTimed.t * FTimed.t * FTimed.t * FTimed.t * FTimed.t *
      FTimed.t * FTimed.t * FTimed.t
  type t_xa = FTimed.t array
  type t1 = FTimed.t_x1 FTimed.timed
  type t2 = FTimed.t_x2 FTimed.timed
  type t3 = FTimed.t_x3 FTimed.timed
  type t4 = FTimed.t_x4 FTimed.timed
  type t5 = FTimed.t_x5 FTimed.timed
  type t6 = FTimed.t_x6 FTimed.timed
  type t7 = FTimed.t_x7 FTimed.timed
  type t8 = FTimed.t_x8 FTimed.timed
  type t9 = FTimed.t_x9 FTimed.timed
  type ta = FTimed.t_xa FTimed.timed
  val inter1 :
    FTimed.time ->
    FTimed.time -> FTimed.time -> FTimed.t_x1 -> FTimed.t_x1 -> FTimed.t_x1
  val inter2 :
    FTimed.time ->
    FTimed.time -> FTimed.time -> FTimed.t_x2 -> FTimed.t_x2 -> FTimed.t_x2
  val inter3 :
    FTimed.time ->
    FTimed.time -> FTimed.time -> FTimed.t_x3 -> FTimed.t_x3 -> FTimed.t_x3
  val inter4 :
    FTimed.time ->
    FTimed.time -> FTimed.time -> FTimed.t_x4 -> FTimed.t_x4 -> FTimed.t_x4
  val inter5 :
    FTimed.time ->
    FTimed.time -> FTimed.time -> FTimed.t_x5 -> FTimed.t_x5 -> FTimed.t_x5
  val inter6 :
    FTimed.time ->
    FTimed.time -> FTimed.time -> FTimed.t_x6 -> FTimed.t_x6 -> FTimed.t_x6
  val inter7 :
    FTimed.time ->
    FTimed.time -> FTimed.time -> FTimed.t_x7 -> FTimed.t_x7 -> FTimed.t_x7
  val inter8 :
    FTimed.time ->
    FTimed.time -> FTimed.time -> FTimed.t_x8 -> FTimed.t_x8 -> FTimed.t_x8
  val inter9 :
    FTimed.time ->
    FTimed.time -> FTimed.time -> FTimed.t_x9 -> FTimed.t_x9 -> FTimed.t_x9
  val intera :
    FTimed.time ->
    FTimed.time -> FTimed.time -> FTimed.t_xa -> FTimed.t_xa -> FTimed.t_xa
  val val_at :
    (FTimed.time -> FTimed.time -> FTimed.time -> 'a -> 'a -> 'a) ->
    FTimed.time -> 'a FTimed.animated list -> 'a
  val get_val :
    (FTimed.time -> FTimed.time -> FTimed.time -> 'a -> 'a -> 'a) ->
    FTimed.time -> 'a FTimed.timed -> 'a
  val get_val1 : FTimed.time -> FTimed.t1 -> FTimed.t_x1
  val get_val2 : FTimed.time -> FTimed.t2 -> FTimed.t_x2
  val get_val3 : FTimed.time -> FTimed.t3 -> FTimed.t_x3
  val get_val4 : FTimed.time -> FTimed.t4 -> FTimed.t_x4
  val get_val5 : FTimed.time -> FTimed.t5 -> FTimed.t_x5
  val get_val6 : FTimed.time -> FTimed.t6 -> FTimed.t_x6
  val get_val7 : FTimed.time -> FTimed.t7 -> FTimed.t_x7
  val get_val8 : FTimed.time -> FTimed.t8 -> FTimed.t_x8
  val get_val9 : FTimed.time -> FTimed.t9 -> FTimed.t_x9
  val get_vala : FTimed.time -> FTimed.ta -> FTimed.t_xa
  module Labels :
    sig
      val val_at :
        f:(t:FTimed.time ->
           t1:FTimed.time -> t2:FTimed.time -> v1:'a -> v2:'a -> 'a) ->
        t:FTimed.time -> anim:'a FTimed.animated list -> 'a
      val get_val :
        f:(t:FTimed.time ->
           t1:FTimed.time -> t2:FTimed.time -> v1:'a -> v2:'a -> 'a) ->
        t:FTimed.time -> v:'a FTimed.timed -> 'a
      val get_val1 : t:FTimed.time -> FTimed.t1 -> FTimed.t_x1
      val get_val2 : t:FTimed.time -> FTimed.t2 -> FTimed.t_x2
      val get_val3 : t:FTimed.time -> FTimed.t3 -> FTimed.t_x3
      val get_val4 : t:FTimed.time -> FTimed.t4 -> FTimed.t_x4
      val get_val5 : t:FTimed.time -> FTimed.t5 -> FTimed.t_x5
      val get_val6 : t:FTimed.time -> FTimed.t6 -> FTimed.t_x6
      val get_val7 : t:FTimed.time -> FTimed.t7 -> FTimed.t_x7
      val get_val8 : t:FTimed.time -> FTimed.t8 -> FTimed.t_x8
      val get_val9 : t:FTimed.time -> FTimed.t9 -> FTimed.t_x9
      val get_vala : t:FTimed.time -> FTimed.ta -> FTimed.t_xa
      val inter1 :
        t:FTimed.time ->
        t1:FTimed.time ->
        t2:FTimed.time -> v1:FTimed.t_x1 -> v2:FTimed.t_x1 -> FTimed.t_x1
      val inter2 :
        t:FTimed.time ->
        t1:FTimed.time ->
        t2:FTimed.time -> v1:FTimed.t_x2 -> v2:FTimed.t_x2 -> FTimed.t_x2
      val inter3 :
        t:FTimed.time ->
        t1:FTimed.time ->
        t2:FTimed.time -> v1:FTimed.t_x3 -> v2:FTimed.t_x3 -> FTimed.t_x3
      val inter4 :
        t:FTimed.time ->
        t1:FTimed.time ->
        t2:FTimed.time -> v1:FTimed.t_x4 -> v2:FTimed.t_x4 -> FTimed.t_x4
      val inter5 :
        t:FTimed.time ->
        t1:FTimed.time ->
        t2:FTimed.time -> v1:FTimed.t_x5 -> v2:FTimed.t_x5 -> FTimed.t_x5
      val inter6 :
        t:FTimed.time ->
        t1:FTimed.time ->
        t2:FTimed.time -> v1:FTimed.t_x6 -> v2:FTimed.t_x6 -> FTimed.t_x6
      val inter7 :
        t:FTimed.time ->
        t1:FTimed.time ->
        t2:FTimed.time -> v1:FTimed.t_x7 -> v2:FTimed.t_x7 -> FTimed.t_x7
      val inter8 :
        t:FTimed.time ->
        t1:FTimed.time ->
        t2:FTimed.time -> v1:FTimed.t_x8 -> v2:FTimed.t_x8 -> FTimed.t_x8
      val inter9 :
        t:FTimed.time ->
        t1:FTimed.time ->
        t2:FTimed.time -> v1:FTimed.t_x9 -> v2:FTimed.t_x9 -> FTimed.t_x9
      val intera :
        t:FTimed.time ->
        t1:FTimed.time ->
        t2:FTimed.time -> v1:FTimed.t_xa -> v2:FTimed.t_xa -> FTimed.t_xa
    end
end