ex1 06

← Back

Basic Info

• Type: sml
• Size: 293 B

• Origin

• Download

Functional Programming
└── Lab ML
    └── 0​314
        └── ex1 06.sml

---

Preview

(*
Representing sets by lists

We represent a set by a list: the elements can be in any order, but without
repetitions

Write a function member(x,S) to test whether x is a member of set S
*)

fun member(_,nil) = false
| member(x,y::ys) = (
        x = y
    orelse
        member(x,ys)
    )
;