module TypeElem: sig .. end
sig
end
include Cilutil.TypeComparable
val prefer : 'a -> 'b -> int
'a -> 'b -> int