module foo
strategies

main =
a := x#([])

Module(
“foo”
, [ Strategies(
[ SDefNoArgs(
“main”
, amb(
[ ExplodeCong(
Assign(Var(“a”), Var(“x”))
, ParenStrat(ListCongNoTail([]))
)
, Assign(
Var(“a”)
, NoAnnoList(Explode(Var(“x”), NoAnnoList(List([]))))
)
]
)
)
]
)
]
)

Submitted on 25 April 2007 at 03:26