Module Register.Ts


module Ts: sig .. end

val tau_of_ctype_logic : Cil_types.typ -> Formula.tau