From The Twelf Project
Jump to: navigation, search
This article describes an undocumented feature of Twelf.
The information may be incomplete and subject to change.

The %subord declaration adds edges to the subordination relation. This declaration is currently only available in Twelf CVS[?] and may not yet be available in TwelfTag.


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.


This article or section needs a good concise example..

This page is incomplete. We should expand it.