C++ (Cpp) to_vm_list Beispiele

Beispiel #1

Datei: fun_info_tactics.cpp Projekt: avigad/lean

vm_obj to_obj(list<ss_param_info> const & ls) {
    return to_vm_list(ls, [&](ss_param_info const & p) { return to_obj(p); });
}

Beispiel #2

Datei: vm_list.cpp Projekt: soonhokong/lean-osx

vm_obj to_obj(list<unsigned> const & ls) {
    return to_vm_list(ls, [&](unsigned n) { return mk_vm_nat(n); });
}