Пример #1
0
discr_tree::node & discr_tree::node::operator=(node const & n) { LEAN_COPY_REF(n); }
Пример #2
0
macro_definition & macro_definition::operator=(macro_definition const & s) { LEAN_COPY_REF(s); }
Пример #3
0
environment_id & environment_id::operator=(environment_id const & s) { m_depth = s.m_depth; LEAN_COPY_REF(s); }
Пример #4
0
parse_table & parse_table::operator=(parse_table const & s) { LEAN_COPY_REF(s); }
Пример #5
0
level & level::operator=(level const & l) { LEAN_COPY_REF(l); }
Пример #6
0
declaration & declaration::operator=(declaration const & s) { LEAN_COPY_REF(s); }