Path.SourceSourceIn the source section of the current workspace.
a directory is smaller than its descendants
include Comparator.S with type t := tset_extension path ~ext replaces extension of path by ext
Source.t does not statically forbid overlap with build directory, even though having such paths is almost always an error.