let create_context buffer pos pat rex = { buffer = buffer ; pos = pos ; searched_rex = rex ; searched_pattern = pat ; prev_prop = (buffer, pos) ; prev_inserted = None ; already_proposed = []; }