Sym.Perm

type Perm

emptyperm

one

idperm

ebb

mkPerm

rank

unrank

perms