
open XNum;
open Types;

value num_to_arabic     : int -> num -> uc_list;
value num_to_ARABIC     : int -> num -> uc_list;
value num_to_roman      : num -> uc_list;
value num_to_ROMAN      : num -> uc_list;
value num_to_alphabetic : num -> uc_list;
value num_to_ALPHABETIC : num -> uc_list;

