Lines Matching refs:str
813 fun tm nmight_print str = let
828 NONE => Name = str
830 List.exists (mem str o term_grammar.rule_tokens G o #3) rrlist
833 fun tm might_print str =
835 COMB(Rator, Rand) => Rator might_print str orelse Rand might_print str
836 | LAMB(_,Body) => Body might_print str
837 | VAR(Name,Ty) => Name = str
838 | CONST x => tm nmight_print str
935 str k
1807 | SOME c => add_ann_string ("#" ^ Lib.mlquote (str c),