Module `SemDiffLib.TextualPegDiff`

Semantic equivalence checking of Textual procedures via PEG equality saturation.

Builds PEGs for two procedures in a shared e-graph, applies rewrite rules to saturation, and checks whether the two root atoms are equivalent.

val check_equivalence : 
  ?debug:bool ->
  Textuallib.Textual.ProcDesc.t ->
  Textuallib.Textual.ProcDesc.t ->
  bool

val convert_and_print : ?debug:bool -> string -> unit

Parse a Textual source string, convert each procedure to PEG, print the equations and nested term. For expect tests.