Module tree

Double trees: pasting diagrams in virtual double categories.

A double tree (nonstandard term) is the data structure for a pasting diagram in a virtual double category. In other words, a double tree specifies, in the most general and unbiased form, a composite of cells in a virtual double category.

Structs

• DblTree
  A double tree, or pasting diagram in a virtual double category.

Enums

• DblNode
  A node in a double tree.