let
substract =
fun
u d
->
let
p=(
fun
y
->
not (
List
.mem y d))
in
(
List
.filter p u)