sig
val
tau_of_ctype_logic :
Cil_types
.typ
->
Formula
.tau
end