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