/**
 * Implosion of AsFix tuples
 */
module stratego/asfix/implode/tuple
rules

  ImplodeTuple : 
    appl(prod(_, cf(seq(_)), _), args) -> ""#(args)

  ImplodeTuple : 
    appl(prod(_, seq(_), _), args) -> ""#(args)         

/**
 * @todo  The seq/1 constructor doesn't seem to be an AsFix construct.
 */
signature
  constructors
    seq : List(Symbol) -> Symbol