solitaire/derived/TreeSeq.m3
generated by m3build
MODULE
TreeSeq
=
Sequence
(
Tree
,
TreeSeq
,
TreeSeqRep
) END TreeSeq.