/* Label.def */
/* Paul Boersma, July 20, 1995 */

oo_DEFINE_CLASS (Autosegment, Function)
oo_END_CLASS (Autosegment)

oo_DEFINE_CLASS (Tier, Sorted)
oo_END_CLASS (Tier)

oo_DEFINE_CLASS (Label, Ordered)
oo_END_CLASS (Label)

/* End of file Label.def */
