sig val prefix : string val model : Cint.model val is_int : Ctypes.c_int -> Lang.F.term -> Lang.F.pred val is_float : Ctypes.c_float -> Lang.F.term -> Lang.F.pred val is_pointer : Lang.F.term -> Lang.F.pred end