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