subtract : 'a list -> 'a list -> 'a list

SYNOPSIS
Computes the set-theoretic difference of two `sets'.

DESCRIPTION
subtract l1 l2 returns a list consisting of those elements of l1 that do not appear in l2. If both lists are initially free of repetitions, this can be considered a set difference operation.

FAILURE CONDITIONS
Never fails.

EXAMPLE
  # subtract [1;2;3] [3;5;4;1];;
  val it : int list = [2]
  # subtract [1;2;4;1] [4;5];;
  val it : int list = [1; 2; 1]

SEE ALSO
setify, set_eq, union, intersect.