def and_(x, y): check_type(x, bool) check_type(y, bool) return x and y
def not_(x): check_type(x, bool) return not x
def or_(x, y): check_type(x, bool) check_type(y, bool) return x or y