DEFINITION ex2_t()
TYPE =
T
BODY =
THead
(
Flat
Appl
) (
TSort
O
) (
TSort
O
)