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