Dune.Libraries
Predicate for the "libraries" field of library/executable stanzas.
"libraries"
The predicates are syntactic - they refer to what is written in the dune file, literally.
module Predicate : sig ... end
Predicates to check library dependencies.