reftree
package
reftree
Type Members
-
case class
Diagram(output: Path = Paths.get("diagram.png"), verticalSpacing: Double = 0.8) extends Product with Serializable
-
-
case class
LabeledRefTree(label: String, tree: RefTree) extends Product with Serializable
-
-
-