sig
  val zero : int React.signal
  val one : int React.signal
  val minus_one : int React.signal
  val ( ~- ) : int React.signal -> int React.signal
  val succ : int React.signal -> int React.signal
  val pred : int React.signal -> int React.signal
  val ( + ) : int React.signal -> int React.signal -> int React.signal
  val ( - ) : int React.signal -> int React.signal -> int React.signal
  val ( * ) : int React.signal -> int React.signal -> int React.signal
  val ( mod ) : int React.signal -> int React.signal -> int React.signal
  val abs : int React.signal -> int React.signal
  val max_int : int React.signal
  val min_int : int React.signal
  val ( land ) : int React.signal -> int React.signal -> int React.signal
  val ( lor ) : int React.signal -> int React.signal -> int React.signal
  val ( lxor ) : int React.signal -> int React.signal -> int React.signal
  val lnot : int React.signal -> int React.signal
  val ( lsl ) : int React.signal -> int React.signal -> int React.signal
  val ( lsr ) : int React.signal -> int React.signal -> int React.signal
  val ( asr ) : int React.signal -> int React.signal -> int React.signal
end