S.Boolval zero : bool React.signalval one : bool React.signalval not : bool React.signal -> bool React.signalval (&&) : bool React.signal -> bool React.signal -> bool React.signalval (||) : bool React.signal -> bool React.signal -> bool React.signalval edge : bool React.signal -> bool React.eventedge s is changes s.
val rise : bool React.signal -> unit React.eventrise s is E.fmap (fun b -> if b then Some () else None) (edge s).
val fall : bool React.signal -> unit React.eventfall s is E.fmap (fun b -> if b then None else Some ()) (edge s).
val flip : bool -> 'a React.event -> bool React.signalflip b e is a signal whose boolean value flips each time e occurs. b is the initial signal value.
flip b e]0 = not b if [e]0 = Some _flip b e]t = b if [e]<=t = Noneflip b e]t = not [flip b e]t-dt if [e]t = Some _