let compare a b =
let c = String.compare a.po_model b.po_model in
if c<>0 then c else
let c = String.compare a.po_name b.po_name in
if c<>0 then c else
let c = WpPropId.compare_prop_id a.po_pid b.po_pid in
if c<>0 then c else String.compare a.po_gid b.po_gid