@
Cons
x
xs
ys
Cons
x
@
xs
ys
@
Nil
ys
ys
game
p1
Cons
x'
xs'
Cons
Capture
xs
game
Cons
x'
p1
xs'
xs
game
p1
p2
Cons
Swap
xs
game
p2
p1
xs
equal
Capture
Capture
True
equal
Capture
Swap
False
equal
Swap
Capture
False
equal
Swap
Swap
True
game
p1
p2
Nil
@
p1
p2
goal
p1
p2
moves
game
p1
p2
moves
@
2
Cons
2
Nil
0
game
3
Capture
0
Swap
0
equal
2
True
0
False
0
goal
3
INNERMOST
Frederiksen_Glenstrup/game.tml.trs