1signature x64AssemblerLib =
2sig
3   val x64_code: string quotation -> string list
4   val x64_code_no_spaces: string quotation -> string list
5   val x64_disassemble1: string -> string
6   val x64_disassemble_string: string -> (string * string) list
7   val x64_disassemble_term: Term.term -> (string * string) list
8   val print_x64_code: string quotation -> unit
9   val print_x64_disassemble: string quotation -> unit
10end
11