Module type Cvalues.CASES

module type CASES = sig .. end

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