Up

Module type S0 = Number.S0 with type repr = repr