an ordered oid type, for placing oids in sets

val compare : t -> t -> int