nutcracker/nutcracker.ops/RelativelyComplementedRefSeqOps

RelativelyComplementedRefSeqOps

object RelativelyComplementedRefSeqOps
class Object
trait Matchable
class Any

Extensions

Extensions

extension [M[_], D](P: BranchingPropagation[M])
def allDifferent(refs: IndexedSeq[Var[D]])(implicit dom: RelativelyComplementedDom[D], fin: Final[D]): M[Unit]