Up
Module
Neg0
:
S0
with
type
t
=
private
repr