Line | |
---|
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 |
---|
Note: See
TracBrowser
for help on using the repository browser.