示例#1
0
discr_tree::node & discr_tree::node::operator=(node const & n) { LEAN_COPY_REF(n); }
示例#2
0
文件： expr.cpp 项目： sakas--/lean 
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.cpp 项目： pazthor/lean 
level & level::operator=(level const & l) { LEAN_COPY_REF(l); }
示例#6
0
declaration & declaration::operator=(declaration const & s) { LEAN_COPY_REF(s); }