@typecheck_method(argname=str, function=IR, min=IR, max=IR)
def __init__(self, argname, function, min, max):
    super().__init__(function, min, max)
    self.argname = argname
    self.function = function
    self.min = min
    self.max = max
@typecheck_method(argname=str, function=IR, min=IR, max=IR)
def __init__(self, argname, function, min, max):
    super().__init__(function, min, max)
    self.argname = argname
    self.function = function
    self.min = min
    self.max = max