Lines Matching refs:string
6 val x64_assign2assembly : codegen_inputLib.assign_type -> string list
7 val x64_guard2assembly : codegen_inputLib.guard_type -> string list * (string * string)
9 val x64_cond_code : Parse.term -> string * string
10 val x64_conditionalise : string -> string -> string
11 val x64_remove_annotations : string -> string
13 val x64_encode_instruction : string -> string * int
14 val x64_encode_branch : bool -> int -> string option -> string * int
15 val x64_branch_to_string : string option -> string