Module Register.Tr


module Tr: sig .. end

val tau_of_ctype_logic : Cil_types.typ -> Formula.tau