Module Retype.FieldElem


module FieldElem: sig .. end

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