// File: eryxcc[P]lois/tests/../include/lois.h
// Function: lois::lsetof<lois::lvector<lois::term>>::display(std::ostream&) const
std::ostream& lsetof<T>::display (std::ostream &os) const { 
  if(elts.size() == 0) return os << sym.emptyset;
  os << sym.leftbrace;
  for(size_t i=0; i<elts.size(); i++) {
    if(i) os << sym.ssunion;
    os << *elts[i];
    }
  return os << sym.rightbrace;
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movq %rdi, -0xd8(%rbp)
addq $0x10, %rdi
callq 0x20020
cmpq $0x0, %rax
jne 0x28eb8
movq -0x18(%rbp), %rax
movq %rax, -0xe8(%rbp)
leaq 0x7cb45(%rip), %rsi     # 0xa5968
addq $0xa8, %rsi
leaq -0x40(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0x11380
movq -0xe0(%rbp), %rsi
leaq -0x28(%rbp), %rdi
callq 0x113d0
jmp 0x28e4c
movq -0xe8(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x29150
movq %rax, -0xf0(%rbp)
jmp 0x28e65
movq -0xf0(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x114d0
leaq -0x40(%rbp), %rdi
callq 0x114f0
jmp 0x2912d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x28eaa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x114d0
leaq -0x40(%rbp), %rdi
callq 0x114f0
jmp 0x2913a
movq -0x18(%rbp), %rax
movq %rax, -0x100(%rbp)
leaq 0x7ca9e(%rip), %rsi     # 0xa5968
addq $0xd8, %rsi
leaq -0x78(%rbp), %rdi
movq %rdi, -0xf8(%rbp)
callq 0x11380
movq -0xf8(%rbp), %rsi
leaq -0x60(%rbp), %rdi
callq 0x113d0
jmp 0x28ef3
movq -0x100(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0x29150
jmp 0x28f05
leaq -0x60(%rbp), %rdi
callq 0x114d0
leaq -0x78(%rbp), %rdi
callq 0x114f0
movq $0x0, -0x80(%rbp)
movq -0xd8(%rbp), %rdi
movq -0x80(%rbp), %rax
movq %rax, -0x108(%rbp)
addq $0x10, %rdi
callq 0x20020
movq %rax, %rcx
movq -0x108(%rbp), %rax
cmpq %rcx, %rax
jae 0x29077
cmpq $0x0, -0x80(%rbp)
je 0x29030
movq -0x18(%rbp), %rax
movq %rax, -0x118(%rbp)
leaq 0x7c9fe(%rip), %rsi     # 0xa5968
addq $0xc0, %rsi
leaq -0xa8(%rbp), %rdi
movq %rdi, -0x110(%rbp)
callq 0x11380
movq -0x110(%rbp), %rsi
leaq -0x90(%rbp), %rdi
callq 0x113d0
jmp 0x28f99
movq -0x118(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x29150
jmp 0x28fae
leaq -0x90(%rbp), %rdi
callq 0x114d0
leaq -0xa8(%rbp), %rdi
callq 0x114f0
jmp 0x29030
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x28feb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x114d0
leaq -0x78(%rbp), %rdi
callq 0x114f0
jmp 0x2913a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2901f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x90(%rbp), %rdi
callq 0x114d0
leaq -0xa8(%rbp), %rdi
callq 0x114f0
jmp 0x2913a
movq -0xd8(%rbp), %rdi
movq -0x18(%rbp), %rax
movq %rax, -0x120(%rbp)
addq $0x10, %rdi
movq -0x80(%rbp), %rsi
callq 0x20040
movq %rax, %rdi
callq 0x20060
movq -0x120(%rbp), %rdi
movq %rax, %rsi
callq 0x291c0
movq -0x80(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x80(%rbp)
jmp 0x28f1f
movq -0x18(%rbp), %rax
movq %rax, -0x130(%rbp)
leaq 0x7c8df(%rip), %rsi     # 0xa5968
addq $0xf0, %rsi
leaq -0xd0(%rbp), %rdi
movq %rdi, -0x128(%rbp)
callq 0x11380
movq -0x128(%rbp), %rsi
leaq -0xb8(%rbp), %rdi
callq 0x113d0
jmp 0x290b8
movq -0x130(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
callq 0x29150
movq %rax, -0x138(%rbp)
jmp 0x290d4
movq -0x138(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x114d0
leaq -0xd0(%rbp), %rdi
callq 0x114f0
jmp 0x2912d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x2911f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x114d0
leaq -0xd0(%rbp), %rdi
callq 0x114f0
jmp 0x2913a
movq -0x8(%rbp), %rax
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
movq -0x48(%rbp), %rdi
callq 0x84d0
nopw %cs:(%rax,%rax)
nopl (%rax)