%sig Base = {
o : type.
ded : o -> type. %prefix 0 ded.
}.