kyacc/derived/PDATransListF.m3
generated by m3build
MODULE
PDATransListF
=
ListF
(
PDATrans
,
PDATransList
) END PDATransListF.