Module E.Pair

Pair events.

val fst : ('a * 'b) event -> 'a event

fst e is map fst e.

val snd : ('a * 'b) event -> 'b event

snd e is map snd e.

val v : 'a event -> 'b event -> ('a * 'b) event

v e0 e1 pair simultaneous occurrences of e0 and e1:

  • [v e0 e1]t = Some (v0, v1) if [e0]t = Some v0 and [e1]t = Some v1
  • [v e0 e1]t = None otherwise.