Ash.SatSolver.left_excludes_right

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

left_excludes_right(left, right)

View Source