`val const : int32 -> expression`
`val to_int31 : expression -> expression`
`val of_int31 : expression -> expression`
`val (+) : expression -> expression -> expression`
`val (-) : expression -> expression -> expression`
`val (*) : expression -> expression -> expression`
`val (/) : expression -> expression -> expression`
`val (mod) : expression -> expression -> expression`
`val (lsl) : expression -> expression -> expression`
`val (lsr) : expression -> expression -> expression`
`val (asr) : expression -> expression -> expression`
`val (land) : expression -> expression -> expression`
`val (lor) : expression -> expression -> expression`
`val (lxor) : expression -> expression -> expression`
`val (<) : expression -> expression -> expression`
`val (<=) : expression -> expression -> expression`
`val (=) : expression -> expression -> expression`
`val (<>) : expression -> expression -> expression`
`val ult : expression -> expression -> expression`
`val uge : expression -> expression -> expression`
`val eqz : expression -> expression`