Lines Matching refs:string
6 val ppc_assign2assembly : codegen_inputLib.assign_type -> string list
7 val ppc_guard2assembly : codegen_inputLib.guard_type -> string list * (string * string)
9 val ppc_cond_code : Parse.term -> string * string
10 val ppc_conditionalise : string -> string -> string
11 val ppc_remove_annotations : string -> string
13 val ppc_encode_instruction : string -> string * int
14 val ppc_encode_branch : bool -> int -> string option -> string * int
15 val ppc_branch_to_string : string option -> string