sig
  val zero : bool React.signal
  val one : bool React.signal
  val not : bool React.signal -> bool React.signal
  val ( && ) : bool React.signal -> bool React.signal -> bool React.signal
  val ( || ) : bool React.signal -> bool React.signal -> bool React.signal
end