module asfix-extra
signature
  constructors

    /**
     * No idea what this is. Some tools need it.
     */
    flatlex : Sort * String -> AsFixTerm

    /**
     * Used by many asfix tools but it is not in AsFix.
     * 
     * The tools seem to relate this to a tuple. 
     * This is however a seq/2 with a head and a tail.
     */	  
    seq : List(Symbol) -> Symbol
