Module FTimed.Labels

module Labels: sig .. end

Timeline functions

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

Interpolation functions

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