E.Pair
Pair events.
val fst : ('a * 'b) event -> 'a event
fst e is map fst e.
fst e
map fst e
val snd : ('a * 'b) event -> 'b event
snd e is map snd e.
snd e
map snd e
val v : 'a event -> 'b event -> ('a * 'b) event
v e0 e1 pair simultaneous occurences of e0 and e1:
v e0 e1
e0
e1
= Some (v0, v1)
= Some v0
= Some v1
= None