Module IpTimed

module IpTimed: sig .. end

Timeline

type time = int

type ('a, 'b) animated = [ `Evol of
           time * time *
           (time -> time -> time -> 'b -> 'a) * 'b
       | `From of time * 'a ]

The type 'a is the output.

The type 'b is a parameter for the function f that make the evolution over the input time.

type ('a, 'b) timed = [ `Animated of ('a, 'b) animated list | `Static of 'a ]

val val_at : time -> ('a, 'b) animated list -> 'a

val get_val : time -> ('a, 'b) timed -> 'a

val finished : time -> ('a, 'b) animated list -> bool

module Labels: sig .. end