module FieldElem: sig .. end
sig
end
include Cilutil.FieldinfoComparable
val prefer : 'a -> 'b -> int
'a -> 'b -> int