C++ (Cpp) LEAN_MOVE_REF Examples

Example #1

File: discr_tree.cpp Project: GallagherCommaJack/lean

discr_tree::node & discr_tree::node::operator=(node&& n) { LEAN_MOVE_REF(n); }

Example #2

File: expr.cpp Project: sakas--/lean

macro_definition & macro_definition::operator=(macro_definition && s) { LEAN_MOVE_REF(s); }

Example #3

File: environment.cpp Project: sakas--/lean

environment_id & environment_id::operator=(environment_id && s) { m_depth = s.m_depth; LEAN_MOVE_REF(s); }

Example #4

File: parse_table.cpp Project: vishallama/lean

parse_table & parse_table::operator=(parse_table && s) { LEAN_MOVE_REF(s); }

Example #5

File: level.cpp Project: pazthor/lean

level & level::operator=(level&& l) { LEAN_MOVE_REF(l); }

Example #6

File: declaration.cpp Project: GallagherCommaJack/lean

declaration & declaration::operator=(declaration && s) { LEAN_MOVE_REF(s); }