Module type SuperSig.One