Module Type GaloisRep ().

End GaloisRep.