sig val translate : Flx_parse.token list -> Flx_parse.token list end