static L> pwt_initial(int maxTokens, S s) { ret pwt_initial(s, maxTokens); } static L> pwt_initial(S s, int maxTokens) { ret pwt_initial(javaTok(s), maxTokens); } // maxTokens = how many code tokens per range (max) static L> pwt_initial(LS tok, int maxTokens) { ret concatMap(lai_codeTokens(tok), lai -> pwt_followingTokens(1, maxTokens, lai)); } static L> pwt_initial(int maxTokens, LS tok) { ret pwt_initial(tok, maxTokens); }