Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Singular/Singular
/ SelectLang
Function
SelectLang
ppcc/src/ppcc.cc:61–65 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
59
}
60
61
void SelectLang(Str *opt, const char *arg) {
62
Language = new Str(arg);
63
AddArg(ALL, opt);
64
AddArg(ALL, Language);
65
}
66
67
void SaveOutput(Str *opt, const char *arg) {
68
Output = new Str(arg);
Callers
nothing calls this directly
Calls
1
AddArg
Function · 0.85
Tested by
no test coverage detected