breadth @breadth@1 @breadth@2 breadth#1 dequeue @breadth@1 @breadth@2 breadth#1 tuple#2 @queue' @elem breadth#2 @elem @queue' breadth#2 :: @z @_@9 @queue' breadth#3 breadth#4 @z @queue' breadth#2 nil @queue' nil breadth#3 tuple#2 @x @ys @queue' :: @x breadth#5 enqueues @ys @queue' breadth#4 tuple#4 @children@3 @children@4 @children@5 @children@6 children @children@3 @children@4 @children@5 @children@6 breadth#5 tuple#2 @breadth@7 @breadth@8 breadth @breadth@7 @breadth@8 children @a @b @l1 @l2 tuple#2 tuple#2 @a @b children#1 @l1 @b @l2 children#1 :: @x @xs @b @l2 children#3 @l2 @b @x @xs children#1 nil @b @l2 children#2 @l2 @b children#2 :: @y @ys @b :: tuple#4 @y @b nil @ys nil children#2 nil @b nil children#3 :: @y @ys @b @x @xs :: tuple#4 @x @b nil @xs :: tuple#4 @x @y @xs @ys nil children#3 nil @b @x @xs nil copyover @copyover@1 @copyover@2 copyover#1 tuple#2 @copyover@1 @copyover@2 copyover#1 tuple#2 @inq @outq copyover#2 @inq @outq copyover#2 :: @x @xs @outq copyover @xs :: @x @outq copyover#2 nil @outq tuple#2 nil @outq dequeue @dequeue@1 @dequeue@2 dequeue#1 tuple#2 @dequeue@1 @dequeue@2 dequeue#1 tuple#2 @inq @outq dequeue#2 @outq @inq dequeue#2 :: @y @ys @inq tuple#2 tuple#2 @inq @ys :: @y nil dequeue#2 nil @inq dequeue#3 @inq dequeue#3 :: @x @xs dequeue#4 copyover :: @x @xs nil dequeue#3 nil tuple#2 tuple#2 nil nil nil dequeue#4 tuple#2 @dequeue@3 @dequeue@4 dequeue @dequeue@3 @dequeue@4 empty @x tuple#2 nil nil enqueue @x @queue enqueue#1 @queue @x enqueue#1 tuple#2 @inq @outq @x tuple#2 :: @x @inq @outq enqueues @l @queue enqueues#1 @l @queue enqueues#1 :: @x @xs @queue enqueues @xs enqueue @x @queue enqueues#1 nil @queue @queue startBreadth @xs startBreadth#1 @xs startBreadth#1 :: @x @xs startBreadth#2 enqueue tuple#4 @x @x @xs @xs empty #unit startBreadth#1 nil nil startBreadth#2 tuple#2 @breadth@1 @breadth@2 breadth @breadth@1 @breadth@2 breadth 2 breadth#1 1 dequeue 2 tuple#2 2 breadth#2 2 :: 2 breadth#3 2 breadth#4 1 nil 0 breadth#5 1 enqueues 2 tuple#4 4 children 4 children#1 3 children#3 4 children#2 2 copyover 2 copyover#1 1 copyover#2 2 dequeue#1 1 dequeue#2 2 dequeue#3 1 dequeue#4 1 empty 1 enqueue 2 enqueue#1 2 enqueues#1 2 startBreadth 1 startBreadth#1 1 startBreadth#2 1 #unit 0 INNERMOST tct_complexity/raML/queue.raml.trs