----------------------------------------------------------------------
module foo
strategies

topdownS_2_0(i_95 : ATerm() -> ATerm() , j_95 : a -> a * a -> a) =
    id
----------------------------------------------------------------------

-----------------------------------------------------------------------------------------
martin@logistico:~/tmp> parse-stratego -i bar.str | pp-aterm
Specification(
  [ Strategies(
      [ SDef(
          "topdownS_2_0"
        , [ VarDec(
              "i_95"
            , FunType(
                [ConstType(Sort("ATerm", []))]
              , ConstType(Sort("ATerm", []))
              )
            )
          , VarDec(
              "j_95"
            , amb(
                [ FunType(
                    [ConstType(SortVar("a"))]
                  , FunType(
                      [ConstType(SortVar("a")), ConstType(SortVar("a"))]
                    , ConstType(SortVar("a"))
                    )
                  )
                , FunType(
                    [ FunType([ConstType(SortVar("a"))], ConstType(SortVar("a")))
                    , ConstType(SortVar("a"))
                    ]
                  , ConstType(SortVar("a"))
                  )
                ]
              )
            )
          ]
        , Id
        )
      ]
    )
  ]
)
-----------------------------------------------------------------------------------------


(This is a fragment of libxtclib)