Module `CConstants.Internal_Predicates`

val is_ptr_to_0 : string

val is_ptr : string

val is_ptr_to_0_opt : string

val is_ptr_opt : string

val is_ptr_to_int_opt : string

val is_ptr_to_float_opt : string

val is_ptr_to_long_opt : string

val is_ptr_to_single_opt : string

val is_int : string

val is_bounded_int : string

val is_long : string

val is_bounded_long : string

val is_single : string

val is_float : string

val ptr_to_0_get : string

Internal value getters

val ptr_get : string

val int_get : string

val single_get : string

val long_get : string

val float_get : string

val malloced : string

val zeros_ptr_size : string

val undefs_ptr_size : string

val array_ptr : string

val ptr_add : string