Lines Matching refs:str
71 val {add_string=str, add_break=brk,...} =
80 then str "("
82 >> (if neg then str "-" else nothing)
83 >> str (f (Arbnum.toInt m, v) ^ "w")
87 >> str ")"
106 val {add_string = str, add_break = brk, ublock,...} = ppfns
121 (delim 200 (str "(")
122 >> str "(n2w "
124 >> str ")"
127 >> delim 200 (str ")"))
134 (delim 200 (str "(")
135 >> str "(w2w "
137 >> str ")"
140 >> delim 200 (str ")"))
147 (delim 200 (str "(")
148 >> str "(sw2sw "
150 >> str ")"
153 >> delim 200 (str ")"))
160 (delim 200 (str "(")
161 >> str "(word_concat "
163 >> str ")"
168 >> delim 200 (str ")"))
175 (delim 200 (str "(")
176 >> str "("
177 >> str "("
180 >> str "><"
183 >> str ")"
186 >> str ")"
189 >> delim 200 (str ")"))