module A: Mint.S
with module F = F
module F: Formula.S
Integer Operators
val i_neg : Ctypes.c_int -> F.integer -> F.integer
val i_op : Ctypes.c_int -> Formula.int_op -> F.integer -> F.integer -> F.integer
val i_cmp : Ctypes.c_int -> Formula.cmp_op -> F.integer -> F.integer -> F.boolean
Bitwise Operators
val bits_not : Ctypes.c_int -> F.integer -> F.integer
val bits_and : Ctypes.c_int -> F.integer -> F.integer -> F.integer
val bits_or : Ctypes.c_int -> F.integer -> F.integer -> F.integer
val bits_xor : Ctypes.c_int -> F.integer -> F.integer -> F.integer
val bits_lshift : Ctypes.c_int -> F.integer -> F.integer -> F.integer
val bits_rshift : Ctypes.c_int -> F.integer -> F.integer -> F.integer