Module type SuperSig.SuperSig