let
is_subset l1 l2 =
List
.for_all (
fun
x
->
List
.mem x l2) l1