PythonSourceAstDiff (infer.SemDiffLib.PythonSourceAstDiff)

module CC = CongruenceClosureSolver

module Rewrite = CongruenceClosureRewrite

val check_equivalence : 
  ?expected:bool ->
  ?debug:bool ->
  PythonSourceAst.Node.t ->
  PythonSourceAst.Node.t ->
  bool

val build_diff : 
  CC.t ->
  PythonSourceAst.Node.t ->
  PythonSourceAst.Node.t ->
  unit

val get_unresolved_diffs : CC.t -> (CC.Atom.t * CC.Atom.t) list

module TestOnly : sig ... end