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