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