Module type SuperSig.EmptySig

type not_actually_empty