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 _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)])