Up

Module Pos0 : S0 with type t = private repr