1signature armAssemblerLib =
2sig
3   val init: unit -> unit
4   val arm_code: string quotation -> string list
5   val arm_code_with_warnings:
6      string quotation -> string list * assemblerLib.lines
7   val arm_disassemble: string quotation -> string list
8   val print_arm_code: string quotation -> unit
9   val print_arm_disassemble: string quotation -> unit
10end
11