%subord

The %subord declaration adds edges to the subordination relation.

Syntax

The syntax is as follows:

%subord (t1 t1') ... (tn tn').

The type families ti' will then be treated as being dependent on the type family ti.