Ash.SatSolver.right_excludes_left

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

right_excludes_left(left, right)

View Source