Module Caveat_mem.Make.WP.Model.A


module A: Mint_natural.Create(D)

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