Directed Serialization Graph
$ T_i
directly write-depends
$ T_j
: 表記
$ T_i \xrightarrow{ww} T_j
以下のどちらか(もしくは両方)を満たす値
$ x
が存在する
$ T_i
が値
$ x_i
を install し、
$ T_j
が
$ x
の次のバージョンを install する。
$ T_i
が