Exemplo n.º 1
0
discr_tree::node & discr_tree::node::operator=(node&& n) { LEAN_MOVE_REF(n); }
Exemplo n.º 2
0
macro_definition & macro_definition::operator=(macro_definition && s) { LEAN_MOVE_REF(s); }
Exemplo n.º 3
0
environment_id & environment_id::operator=(environment_id && s) { m_depth = s.m_depth; LEAN_MOVE_REF(s); }
Exemplo n.º 4
0
parse_table & parse_table::operator=(parse_table && s) { LEAN_MOVE_REF(s); }
Exemplo n.º 5
0
level & level::operator=(level&& l) { LEAN_MOVE_REF(l); }
Exemplo n.º 6
0
declaration & declaration::operator=(declaration && s) { LEAN_MOVE_REF(s); }