Sha256: da2c055abc61380ff68b3c05ca7b5221999fa466271125256bf415b6be2cd310
Contents?: true
Size: 608 Bytes
Versions: 53
Compression:
Stored size: 608 Bytes
Contents
datatype allergen = Eggs
| Peanuts
| Shellfish
| Strawberries
| Tomatoes
| Chocolate
| Pollen
| Cats
(* given a code generate a list of all allergens this code represents *)
fun list (code: int): allergen list =
raise Fail "'list' has not been implemented"
(* given a code and an allergen return true or false
whether the specified allergen is represented by the code *)
fun allergic_to (code: int) (a: allergen): bool =
raise Fail "'allergic_to' has not been implemented"
Version data entries
53 entries across 53 versions & 1 rubygems