subset : 'a list -> 'a list -> bool
SYNOPSIS
Tests if one list is a subset of another.
DESCRIPTION
The call
subset l1 l2
returns
true
if every element of
l1
also occurs in
l2
, regardless of whether an element appears once or more than once in each list. So when
l1
and
l2
are regarded as sets, this is a subset test.
FAILURE CONDITIONS
Never fails.
EXAMPLE
# subset [1;1;2;2] [1;2;3];; val it : bool = true
SEE ALSO
insert
,
intersect
,
set_eq
,
setify
,
subtract
,
union
.