Uniq_solver (p.uniq.0.1.0.doc.uniq.solver.Uniq

Sourcemodule Info = Uniq_info

Sourcemodule MSet : Set.S with type elt = Modname.t

Sourcetype cfg

Sourcetype providers = ?crc:Uniq_digest.t -> Modname.t -> Uniq_info.t option

Sourcetype private_module = Modname.t * Uniq_digest.t option

Sourcetype disambiguate = Modname.t -> Uniq_info.t list -> Uniq_info.t

val config : 
  ?stdlib:bool ->
  ?recurse:bool ->
  ?exclude:Fpath.t list ->
  ?ignore:Modname.t list ->
  ?forbid:Modname.t list ->
  unit ->
  cfg

Sourceval to_ignore : cfg:cfg -> Modname.t -> bool

Source

val solve_intfs : 
  ?disambiguate:disambiguate ->
  cfg:cfg ->
  providers:providers ->
  Fpath.t list ->
  (Uniq_info.t list * private_module list, [> `Msg of string ]) result