method direction_flag : direction_flag -> 'self_type =
                  function
                  | DiTo -> o
                  | DiDownto -> o
                  | DiAnt _x -> let o = o#string _x in o