of

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