src/clight/clightUtils.mli

   1
   2 val size_of_ctype : Clight.ctype -> int
   3
   4 val memory_q_of_ctype : Clight.ctype -> Memory.memory_q
   5
   6 val is_int_type : Clight.ctype -> bool
   7 val is_float_type : Clight.ctype -> bool
   8 val is_pointer_type : Clight.ctype -> bool
   9 val is_stack_type : Clight.ctype -> bool
  10 val is_struct : Clight.ctype -> bool
  11 val is_ptr_to_struct : Clight.ctype -> bool
  12 val is_function : Clight.ctype -> bool
  13
  14 val region_of_pointer_type : Clight.ctype -> AST.region