Module type Generic.ANALYSIS
The module type ANALYSIS
encodes the data-types for an abstract EClass analysis over EGraphs.
type t
Represents any persistent state that an analysis may need to track separately from each EClasses.
Note: Terms of this type must be mutated imperatively as the EGraph API doesn't provide any functions to functionally update the persisted state.
val pp_data : Stdlib.Format.formatter -> data -> unit
pp_data fmt data
pretty printsdata
using the formatterfmt
.
val show_data : data -> string
show_data data
convertsdata
into a string.
val default : data
Represents a default abstract value for new nodes.