Searched refs:oznToStdout (Results 1 – 2 of 2) sorted by relevance
1705 opts.oznToStdout = ASTString("oznToStdout"); in mark()1927 opts.oznToStdout.mark(); in mark()
1944 ASTString oznToStdout; member