module Tau: sig .. end
sig
end
val tau_of_logic_ctype : Cil_types.typ -> Formula.tau
Cil_types.typ -> Formula.tau
val pp_tau : Format.formatter -> Formula.tau -> unit
Format.formatter -> Formula.tau -> unit