Dep_info.Dep
type t =
| Require of string
module basename, to which we later append .vo or .vos
| Ml of string
plugin basename and byte extension, resolved from Declare Ml Module
| Other of string
load, meta, and external dependencies
module Set : CSet.ExtS with type elt = t