sig
  val process_regexp :
    Flx_ast.regexp_t ->
    Flx_mtypes2.CharSet.t * int * (int, Flx_ast.expr_t) Hashtbl.t *
    (int * int, int) Hashtbl.t
end