fact: Definition make_move n move b := match move with | Lm => icumul n b | Rm => iflip n (icumul n (iflip n b)) | Um => irotate n (icumul n (irotate n b)) | Dm => irotate n (iflip n (icumul n (iflip n (irotate n b)))) end.
imports: Ascii String List EqNat NArith