package ego

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

Parameters

module L : LANGUAGE

module A : ANALYSIS

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.