Ejemplos de parray en C++ (Cpp)

Ejemplo n.º 1

Archivo: vm_array.cpp Proyecto: avigad/lean

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;
}

Ejemplo n.º 2

Archivo: vm_format.cpp Proyecto: fpvandoorn/lean

/* 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));
}