Up
–
ego
»
Ego
» Id
Module
Ego.Id
type
t
=
private
int
An abstract datatype used to represent equivalence classes in
Ego
.