Top

Vttree

Vttree-context

This is a product type, introduced by defflexsum in support of vttree.

Fields

ctx
subtree — vttree

Subtopics

Vttree-context->subtree: Get the subtree field from a vttree-context.
Make-vttree-context: Basic constructor macro for vttree-context structures.
Change-vttree-context: Modifying constructor for vttree-context structures.
Vttree-context->ctx: Get the ctx field from a vttree-context.