Lines Matching defs:str
51 val str = tm |> rator |> rand |> stringSyntax.fromHOLstring
53 in mk_var(str,ty) |-> tm end)
68 val str = tm |> rator |> rand |> stringSyntax.fromHOLstring
70 in mk_var(str,ty) |-> tm end)
416 val str = ("Graph spec failed in " ^ sec_name ^ " for pos " ^
418 in (write_line str; print (str ^ "\n")) end
440 val str = name ^ "_" ^ int_to_string i
441 in if mem str (!r) then get_index_name name (i+1)
442 else(r := str::(!r); str) end
469 fun prefix_instr str = "instruction'" ^ str ^ "_" ^ pos