2008-02-22 23:49:21 +01:00
|
|
|
|
|
|
|
type timeslice_t = {
|
|
|
|
(* Action *)
|
2008-03-08 09:42:54 +01:00
|
|
|
action: Action.t;
|
2008-02-22 23:49:21 +01:00
|
|
|
label: string ;
|
|
|
|
}
|
|
|
|
|
2008-03-08 09:42:54 +01:00
|
|
|
type t = timeslice_t list
|
2008-02-22 23:49:21 +01:00
|
|
|
|
2008-03-08 09:42:54 +01:00
|
|
|
let create () =
|
|
|
|
[];;
|
|
|
|
|
|
|
|
|
|
|
|
let add_slice timeline slice = timeline @ [slice];;
|
|
|
|
|
|
|
|
let add_action timeline action = ();;
|