def _divmod(a, b):
if a.is_unknow() or b.is_unknow():
return Number.make_unknowt()
x, y = divmod(a.value, b.value)
return Tuple.from_elts(None,
[Number.from_numbert(x),
Number.from_numbert(y)])
def _tuple(iterable=None):
if iterable is None:
iterable = []
# TODO
return Tuple.from_elts(iterable)