sig
  val tau_of_object : Ctypes.c_object -> Formula.tau
  val tau_of_ctype_logic : Cil_types.typ -> Formula.tau
  val pp_tau : Format.formatter -> Formula.tau -> unit
  val tau_of_ctype : Cil_types.typ -> Formula.tau
  val name_of_adt : (Cil_types.logic_type_info -> string) Pervasives.ref
  val tau_of_logic_type : Cil_types.logic_type -> Formula.tau
end