Lines Matching refs:str
125 val pat = ``var_acc str``
133 val pat = ``SKIP_TAG str``
147 val dest_var_word32 = any_var_acc ``var_word32 str s``
148 val dest_var_word8 = any_var_acc ``var_word8 str s``
149 val dest_var_nat = any_var_acc ``var_nat str s``
150 val dest_var_bool = any_var_acc ``var_bool str s``
151 val dest_var_mem = any_var_acc ``var_mem str s``
152 val dest_var_dom = any_var_acc ``var_dom str s``
360 val foldback = (unbeta_conv ``var_bool str``) ORELSEC
361 (unbeta_conv ``var_word32 str``) ORELSEC
362 (unbeta_conv ``var_word8 str``) ORELSEC
363 (unbeta_conv ``var_nat str``) ORELSEC
364 (unbeta_conv ``var_mem str``) ORELSEC
365 (unbeta_conv ``var_dom str``)