--> ****************************************************************
-->                     SEQ: Generic Sequence
--> ****************************************************************

--> -----------------------------------------------------------------
--> SEQ: parametrized sequences (i.e. generic sequences)
--> -----------------------------------------------------------------
mod! SEQ (X :: TRIV) {
[Elt < Seq]
-- empty Sequence
op emp : -> Seq {constr} . 
op __ : Seq Seq -> Seq {constr assoc id: emp} .
}

--> ----------------------------------------------------------------
provide seq

--> ****************************************************************
--> end of file
eof
--> ****************************************************************