package ego

  1. Overview
  2. Docs

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

Parameters

module L : LANGUAGE
module 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.