1signature arm_encoderLib =
2sig
3
4  val arm_encode               : arm_parserLib.arm_code -> string
5
6  val arm_encode_from_string   : string -> string
7
8  val arm_assemble_from_file   : string -> (Arbnum.num * string) list *
9                                           (string, Arbnum.num) Redblackmap.dict
10
11  val arm_assemble_from_string : string -> (Arbnum.num * string) list *
12                                           (string, Arbnum.num) Redblackmap.dict
13
14  val arm_assemble_from_quote  : string frag list ->
15                                   (Arbnum.num * string) list *
16                                   (string, Arbnum.num) Redblackmap.dict
17
18end
19