module Tau:sig
..end
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