The modules of an arg2p solver (its dynamic libraries), loaded on their first call: each solves its goals against the libraries of the solver, but for the other modules, and its own.
fun of(request: Solve.Request<ExecutionContext>, name: Atom): Module
The module named name, called by request (whose libraries the ones of the module are built from): an existence error when the solver has no such module