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