Module `Generic.MakePrinter`

This functor MakePrinter allows users to construct EGraph printing utilities for a given LANGUAGE and ANALYSIS.

Parameters

L : LANGUAGE
A : ANALYSIS

Signature

val to_dot : (Id.t L.shape, A.t, A.data, 'b) egraph -> Odot.graph: to_dot graph converts an EGraph into a Graphviz representation for debugging.