(*generated by m3build*)

MODULE AtomSeq = Sequence (Atom, AtomSeq, AtomSeqRep) END AtomSeq.