class T::Types::TypedEnumerator

def name

@override Base 
def name
  "T::Enumerator[#{@type.name}]"
end

def new(*args, &blk) 

def new(*args, &blk)
  T.unsafe(Enumerator).new(*args, &blk)
end

def recursively_valid?(obj)

@override Base 
def recursively_valid?(obj)
  obj.is_a?(Enumerator) && super
end

def underlying_class 

def underlying_class
  Enumerator
end

def valid?(obj)

@override Base 
def valid?(obj)
  obj.is_a?(Enumerator)
end