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