dedukti-1.0.0: t/loop.eu

A : Type.
[] A --> A -> A.
t : A.
[] t --> x : A => x.