let types_no = List.length types in
List.map (function (n,l) -> (n+types_no,types@l)) subsets
in
let types_no = List.length types in
List.map (function (n,l) -> (n+types_no,types@l)) subsets
in
let all_constants =
let all = match main with None -> types | Some m -> m::types in
List.fold_right UriManagerSet.add all constants
let all_constants =
let all = match main with None -> types | Some m -> m::types in
List.fold_right UriManagerSet.add all constants