sig   val of_real : Ctypes.c_int -> Lang.F.unop   val convert : Ctypes.c_int -> Lang.F.unop   val to_cint : Lang.lfun -> Ctypes.c_int   val is_cint : Lang.lfun -> Ctypes.c_int   type model = Natural | Machine   val configure : Cint.model -> unit   val current : unit -> Cint.model   val range : Ctypes.c_int -> Lang.F.term -> Lang.F.pred   val downcast : Ctypes.c_int -> Lang.F.unop   val iopp : Ctypes.c_int -> Lang.F.unop   val iadd : Ctypes.c_int -> Lang.F.binop   val isub : Ctypes.c_int -> Lang.F.binop   val imul : Ctypes.c_int -> Lang.F.binop   val idiv : Ctypes.c_int -> Lang.F.binop   val imod : Ctypes.c_int -> Lang.F.binop   val bnot : Ctypes.c_int -> Lang.F.unop   val band : Ctypes.c_int -> Lang.F.binop   val bxor : Ctypes.c_int -> Lang.F.binop   val bor : Ctypes.c_int -> Lang.F.binop   val blsl : Ctypes.c_int -> Lang.F.binop   val blsr : Ctypes.c_int -> Lang.F.binop   val l_not : Lang.F.unop   val l_and : Lang.F.binop   val l_xor : Lang.F.binop   val l_or : Lang.F.binop   val l_lsl : Lang.F.binop   val l_lsr : Lang.F.binop   val f_lnot : Lang.lfun   val f_land : Lang.lfun   val f_lxor : Lang.lfun   val f_lor : Lang.lfun   val f_lsl : Lang.lfun   val f_lsr : Lang.lfun   val f_bit : Lang.lfun   val is_cint_simplifier : Conditions.simplifier   val is_positive_or_null : Lang.F.term -> bool end