layer_handler

Handler for penzai Layers.

Functions

handle_layers(node, path, subtree_renderer)

Renders a penzai layer.