Module Datalib.Tau


module Tau: sig .. end

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