!7

concept GModule {
  S moduleID, moduleLibID;
  S userID; // e. g. discord user id
  S userName;
}

cmodule GModulesManager > DynCRUD<GModule> {
  // API
  
  S startModuleForUser(S moduleLibID, S userID, S userName) {
    Pair<GModule, Bool> p = uniqConcept2(+moduleLibID, +userID);
    if (!p.b) ret "Module already running";
    cset(p.a, +userName);
    print("Starting module: " + moduleLibID);
    cset(p, moduleID := dm_startModule(moduleLibID));
    ret "Module " + moduleLibID + " started for " + userName;
  }
}