reactive.mli 601 Bytes
Newer Older
1
2
3
4
5
6


(* abstract reactive program *)
type prg = DoStep of (Value.t list -> Value.t list * prg)
val step : prg -> Value.t list -> (Value.t list * prg)

7
8

type prg_ldbg = 
9
    DoStep_ldbg of ( Event.ctx -> Value.t list -> 
10
                     (Event.ctx -> prg_ldbg -> Value.t list -> Event.t) -> 
11
12
                      (Event.ctx -> Event.t) -> (Event.ctx -> string -> Event.t)
                      ->  Event.t)
13
  
14
val step_ldbg : Event.ctx -> prg_ldbg -> Value.t list ->
15
  (Event.ctx -> prg_ldbg -> Value.t list -> Event.t) -> 
16
  (Event.ctx -> Event.t) ->  (Event.ctx -> string -> Event.t) -> Event.t
17

18