2 val size_of_ctype : Clight.ctype -> int
4 val memory_q_of_ctype : Clight.ctype -> Memory.memory_q
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
14 val region_of_pointer_type : Clight.ctype -> AST.region