let subsets =
let subsets = power constants in
let types_no = List.length types in
- (0,[]) :: List.map (function (n,l) -> (n+types_no,types@l)) subsets
+ List.map (function (n,l) -> (n+types_no,types@l)) subsets
in
compute_exactly ~dbd ~facts ~where main subsets