Module Astral_internal.EqualityRewritter

val apply : SL_graph.t -> SL.t -> SL.t