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