sig val arabic : string -> string val roman : string -> string end