let
subset a b =
List
.for_all (
fun
x
->
(
List
.mem x b)) a