dedukti-1.0.0: t/conj.eu

o : Type.
conj : o -> o -> Type.
[x : o] conj x x --> conj x x.