kyacc/derived/MarkListF.m3
generated by m3build
MODULE
MarkListF
=
ListF
(
Mark
,
MarkList
) END MarkListF.