let depends_on: t -> id list = fun t -> t.depends_on