Module Completion.RankingAlgoritmSource

Sourcetype t =
  1. | SplitTypeIntersection
  2. | StructuredSplitUnification
Sourceval yojson_of_t : t -> [> `Int of int ]
Sourceval t_of_yojson : [> `Int of int ] -> t