let get_leaves data = let is_leaf f = match map_lookup_list f data.children with | [] -> true | _ -> false in let leaves = StringSet.filter is_leaf data.known in StringSet.elements leaves