Ash.SatSolver.split_in_expressions

You're seeing just the function split_in_expressions, go back to Ash.SatSolver module for more information.
Link to this function

split_in_expressions(sub_expr, non_equal_overlap)

View Source