Lines Matching refs:string
6 val arm_assign2assembly : codegen_inputLib.assign_type -> string list
7 val arm_guard2assembly : codegen_inputLib.guard_type -> string list * (string * string)
9 val arm_cond_code : Parse.term -> string * string
10 val arm_conditionalise : string -> string -> string
11 val arm_remove_annotations : string -> string
13 val arm_encode_instruction : string -> string * int
14 val arm_encode_branch : bool -> int -> string option -> string * int
15 val arm_branch_to_string : string option -> string