Module Register.Th


module Th: sig .. end

val tau_of_ctype_logic : Cil_types.typ -> Formula.tau