def check_argument_type(class_name, type_value, type_name):
    def result(var_value, var_name):
        if type(var_value) != type_value:
            raise TypeError("%s: expected %s as %s, but received %s" %
                            (class_name, type_name, var_name, str(var_value)))
    return result

def check_argument_type_cond(class_name, cond_value, cond_desc, actual):
    if not cond_value:
        raise TypeError("%s: expected %s, but %s" % (class_name, cond_desc, actual))

def check_argument_value_cond(class_name, cond_value, cond_desc, actual):
    if not cond_value:
        raise ValueError("%s: expected %s, but %s" % (class_name, cond_desc, actual))


def Bound(object):
    def __init__(self, value, overlap, has_overlap):
        check= check_argument_type("Bound", int, "int")
        check(value, "value")
        check(overlap, "overlap")
        check_argument_type("Bound", bool, "bool")(has_overlap, "has_overlap")