———————————————————————-
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)

Submitted on 26 January 2005 at 23:08