Rubik.Solver
type MaybeFace
type SubIndex
type DInt
data Projection x a0 as a
type Projection' m a
type SymProjection m sym a
data Distance m a
(|*|)
(|.|)
(>$<)
maxDistance
solveWith
type Tag a
tag
rawProjection
symProjection
symmetricProj
distanceWith2