proc (@builtin::modules.proc)

Answers @builtin::systems.procgen.proc, the procgen module, under the require path @builtin::modules.proc: both paths reach the one module table.

The procgen module is documented with its package: man proc, and guides { path = "systems/procgen/documentation/procgen" }. A source requires it as

local proc = require("@builtin::systems.procgen.proc")