method rec_flag : rec_flag -> 'self_type =
                  function
                  | ReRecursive -> o
                  | ReNil -> o
                  | ReAnt _x -> let o = o#string _x in o