def pmt_from_tuple(p):
args = map(python_to_pmt, p)
return pmt.make_tuple(*args)
def pmt_from_tuple(p):
args = map(python_to_pmt, p)
return pmt.make_tuple(*args)
def pmt_from_tuple(p):
args = map(python_to_pmt, p)
return pmt.make_tuple(*args)
def pmt_from_tuple(p):
args = map(python_to_pmt, p)
return pmt.make_tuple(*args)