module Create:
module F: F
val i_neg : Ctypes.c_int ->
F.integer -> F.integer
val i_op : 'a ->
Formula.int_op ->
F.integer ->
F.integer -> F.integer
val i_cmp : 'a ->
Formula.cmp_op ->
F.integer ->
F.integer -> F.boolean
val bits_not : 'a -> 'b F.term -> 'c F.term
val bits_and : 'a ->
'b F.term ->
'c F.term -> 'd F.term
val bits_or : 'a ->
'b F.term ->
'c F.term -> 'd F.term
val bits_xor : 'a ->
'b F.term ->
'c F.term -> 'd F.term
val bits_lshift : 'a ->
'b F.term ->
'c F.term -> 'd F.term
val bits_rshift : Ctypes.c_int ->
'a F.term ->
'b F.term -> 'c F.term