1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
package lambdapi
-
lambdapi.tool
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type dot_term =
| DotDefa |
| DotAbst of int |
| DotProd of int |
| DotCons of Core.Tree_type.TC.t |
| DotSuccess |
| DotFailure |
Printing hint for conversion to graphviz.
val to_dot : Format.formatter -> Core.Term.sym -> unit
to_dot ppf sym
prints a dot graphviz representation of the tree of symbol sym
on ppf
. Each node of the tree embodies a pattern matrix. The label of a node is the column index in the matrix on which the matching is performed to give birth to the child node. The label on the edge between a node and one of its children represents the term matched to generate the next pattern matrix (the one of the child node).