hphp/hack/src/server/serverCoverageMetricTypes.ml

   1 (**
   2  * Copyright (c) 2016, Facebook, Inc.
   3  * All rights reserved.
   4  *
   5  * This source code is licensed under the MIT license found in the
   6  * LICENSE file in the "hack" directory of this source tree.
   7  *
   8  *)
   9
  10 (**
  11  * The type result is an optional trie.
  12  * The trie leaves are maps from strings of filenames to level_stats for those
  13  * files.
  14  * The trie nodes are leaves paired with a map from strings of directory names
  15  * to another trie.
  16  *
  17  *)
  18 type result =
  19   Coverage_level_defs.level_stats SMap.t Coverage_level_defs.trie option