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