---
name: "Set.elem_1"
section: "3kaya"
platform: "linux"
package: "kaya"
version: "0.4.4-6.2"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/Set.elem_1"
---

# Set.elem\_1(3kaya)

Check for an element in a Set.

## NAME

Set::elem - Check for an element in a Set.

## SYNOPSIS

**Bool elem(** *a val, Set\<a\>  set* **)**

## ARGUMENTS

**val** The value to check for

**set** The set to check

## DESCRIPTION

Returns true if the value exists in the set, and false otherwise.

## AUTHORS

Kaya standard library by Edwin Brady, Chris Morris and others (kaya@kayalang.org). For further information see http://kayalang.org/

## LICENSE

The Kaya standard library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (version 2.1 or any later version) as published by the Free Software Foundation.

## RELATED

**Set.Set (3kaya)**

**Set.add\_1 (3kaya)**

**Set.array\_1 (3kaya)**

**Set.delete\_1 (3kaya)**

**Set.empty\_1 (3kaya)**

**Set.newSet (3kaya)**