def __init__(self,
member,
expected_return_type,
call_arity,
report_errors=True):
DependentType.__init__(self, report_errors)
TypeGroup.__init__(self, [])
self.member = member
self.expected_return_type = expected_return_type
self.member_obj = None
self.call_arity = call_arity
def __init__(self, *types_):
TypeGroup.__init__(self, [])
self.types = types_
def __init__(self):
TypeGroup.__init__(self, [])
def __init__(self, *param_number):
DependentType.__init__(self)
TypeGroup.__init__(self, [])
self.param_number = param_number[0]
def __init__(self, *members):
TypeGroup.__init__(self, [])
self.members = members
def __init__(self, *content_types):
DependentType.__init__(self, True)
TypeGroup.__init__(self, [])
self.content_types = content_types
self.type_ = None
self.call_arity = 0
def __init__(self, members, call_arity, report_errors=False):
DependentType.__init__(self, report_errors)
TypeGroup.__init__(self, [])
self.members = members
self.member_obj = None
self.call_arity = call_arity