File indexing completed on 2024-05-26 05:24:14
0001 from .type import Type 0002 0003 class Ref(Type): 0004 _is_ref = True 0005 0006 def __init__(self, name): 0007 self._name = name 0008 0009 @property 0010 def name(self): 0011 return self._name
File indexing completed on 2024-05-26 05:24:14
0001 from .type import Type 0002 0003 class Ref(Type): 0004 _is_ref = True 0005 0006 def __init__(self, name): 0007 self._name = name 0008 0009 @property 0010 def name(self): 0011 return self._name