1
# Types of video games
2
data GameType
:
3
  
|
 Action
4
  
|
 Adventure
5
  
|
 RPG
6
end
7

8
# A video game, where:
9
# name is the name of the game
10
# typ is the type of the game
11
data Game
:
12
  
|
 MakeGame
(
name 
:
:
 String
,
 typ 
:
:
 GameType
)
13
end
14

15
# Examples of video games
16
GAME
-
CYBER 
=
 MakeGame
(
"Cyberpunk 2077"
,
 Action
)
17
GAME
-
ZELDA 
=
 MakeGame
(
"Legend of Zelda"
,
 Adventure
)
18
GAME
-
ELDEN 
=
 MakeGame
(
"Elden Ring"
,
 RPG
)
19

20
fun adventure
-
game
(
g 
:
:
 Game
)
 
-
>
 Boolean
:
21
  doc
:
 
"Determines if the given game is an adventure game."
22
  g
.
typ 
==
 Adventure
23
end
24

25
adventure
-
game
(
GAME
-
CYBER
)
 
# false
26
adventure
-
game
(
GAME
-
ZELDA
)
 
# true
27
adventure
-
game
(
GAME
-
ELDEN
)
 
# false

1
false
2
true
3
false