Up

Module Neg0 : S0 with type t = private repr