Module Plebeia.DebugSource

Sourceval string_of_node : Node_type.node -> int -> string

Dump a node

Sourceval simple_string_of_node : Node_type.node -> string

Dump a node, but not recursively

Sourceval dot_of_node : Node_type.node -> string

Obtain Graphviz dot file representation of the tree

Sourceval dot_of_cursor : Cursor.cursor -> string

Obtain Graphviz dot file representation of the cursor

Sourceval validate_node : Context.t -> Node_type.node -> (unit, string) Result.t

Invariant checking of node

Sourceval save_cursor_to_dot : string -> Cursor.cursor -> unit
Sourceval save_node_to_dot : string -> Node_type.node -> unit

Graphviz visualization