// File: eryxcc[P]lois/tests/../include/lois.h
// Function: lois::lsetof<lois::term>::operator=(lois::lsetof<lois::term> const&)
lsetof<T>& operator = (const lsetof<T>& rval) {
    if(debuglois) std::cout << ido << "assign " << rval << " ain = " << ain << " context = " << emptycontext << std::endl;
    autoindenter i1;
    if(usesenv(rval, ain)) throw assignment_exception();
    removeall(); (*this) |= rval;
    return *this;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xa0(%rbp)
leaq 0x92c0b(%rip), %rax     # 0xa5c10
testb $0x1, (%rax)
je 0x13139
leaq 0x922d3(%rip), %rax     # 0xa52e8
movq (%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rsi
movq 0x91fb1(%rip), %rdi     # 0xa4fd8
callq 0x6afb0
movq %rax, %rdi
leaq 0x5f32f(%rip), %rsi     # 0x72365
callq 0x82b0
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x11da0
movq %rax, %rdi
leaq 0x5f30c(%rip), %rsi     # 0x7235d
callq 0x82b0
movq -0xa0(%rbp), %rsi
movq %rax, -0xb8(%rbp)
leaq -0x28(%rbp), %rdi
movq %rdi, -0xb0(%rbp)
callq 0x173b0
movq -0xb8(%rbp), %rdi
movq -0xb0(%rbp), %rsi
callq 0x1ae80
movq %rax, -0xa8(%rbp)
jmp 0x13090
movq -0xa8(%rbp), %rdi
leaq 0x5f2cf(%rip), %rsi     # 0x7236d
callq 0x82b0
movq %rax, -0xc0(%rbp)
jmp 0x130ac
leaq 0x9272d(%rip), %rsi     # 0xa57e0
leaq -0x48(%rbp), %rdi
movq %rdi, -0xd0(%rbp)
callq 0x173b0
movq -0xc0(%rbp), %rdi
movq -0xd0(%rbp), %rsi
callq 0x1ae80
movq %rax, -0xc8(%rbp)
jmp 0x130df
movq -0xc8(%rbp), %rdi
movq 0x91ec3(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0x130f4
leaq -0x48(%rbp), %rdi
callq 0x14b20
leaq -0x28(%rbp), %rdi
callq 0x14b20
jmp 0x13139
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x1312b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x14b20
leaq -0x28(%rbp), %rdi
callq 0x14b20
jmp 0x1327d
leaq -0x49(%rbp), %rdi
callq 0x1af20
movq -0xa0(%rbp), %rsi
movq -0x10(%rbp), %rax
movq %rax, -0xf0(%rbp)
leaq -0x60(%rbp), %rdi
movq %rdi, -0xe8(%rbp)
callq 0x173b0
leaq 0x92685(%rip), %rsi     # 0xa57f0
leaq -0x70(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0x173b0
movq -0xf0(%rbp), %rdi
movq -0xe8(%rbp), %rsi
movq -0xe0(%rbp), %rdx
callq 0x3a3f0
movb %al, -0xd1(%rbp)
jmp 0x1319d
leaq -0x70(%rbp), %rdi
callq 0x14b20
leaq -0x60(%rbp), %rdi
callq 0x14b20
movb -0xd1(%rbp), %al
testb $0x1, %al
jne 0x131bb
jmp 0x13228
movl $0x8, %edi
callq 0x8160
movq %rax, %rdi
movq %rdi, -0xf8(%rbp)
movq $0x0, (%rdi)
callq 0x29d20
movq -0xf8(%rbp), %rdi
leaq 0x8ff3f(%rip), %rsi     # 0xa3128
leaq 0x1560(%rip), %rdx      # 0x14750
callq 0x84b0
jmp 0x13286
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x14b20
leaq -0x60(%rbp), %rdi
callq 0x14b20
jmp 0x13274
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
jmp 0x13274
movq -0xa0(%rbp), %rsi
leaq -0x98(%rbp), %rdi
callq 0x3a5f0
jmp 0x1323d
leaq -0x98(%rbp), %rdi
callq 0x11960
movq -0xa0(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x2d440
jmp 0x1325b
leaq -0x49(%rbp), %rdi
callq 0x1b720
movq -0xa0(%rbp), %rax
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
leaq -0x49(%rbp), %rdi
callq 0x1b720
movq -0x30(%rbp), %rdi
callq 0x84d0
nopw %cs:(%rax,%rax)