module Package_ID:IDwith type id = package_id
type id
val to_int : id -> intval from_int : int -> idval compare : id -> id -> intval succ : id -> idval scribe : 'a Conduit.conduit -> 'a -> id -> unitval zero : idval sweep : id -> (id -> unit) -> unitval io : id Io.literate