vm_external * vm_array::ts_clone(vm_clone_fn const & fn) { vm_array_ts_copy * r = new vm_array_ts_copy(); size_t sz = m_array.size(); for (size_t i = 0; i < sz; i++) { r->m_entries.emplace_back(fn(m_array[i])); } return r; }
/* TODO(jroesch): unify with IO */ static vm_obj mk_buffer(parray<vm_obj> const & a) { return mk_vm_pair(mk_vm_nat(a.size()), to_obj(a)); }