Module Retype.TypeElem


module TypeElem: sig .. end

include Cilutil.TypeComparable
val prefer : 'a -> 'b -> int