Uniq_clos (p.uniq.0.1.0.doc.uniq.clos.Uniq

Sourcemodule Info = Uniq_info

Sourcemodule Meta = Uniq_meta

Sourcetype env

Sourcetype disambiguate = Modname.t -> Meta.Path.t list -> Meta.Path.t

Sourcetype intf = Modname.t * Info.t

Sourcetype impl = Modname.t * Info.t

Sourceval env : ?cfg:Uniq_cfg.t -> Fpath.t list -> (env, [> `Msg of string ]) result

Sourceval gamma : env -> Info.t Fpath.Map.t

Sourceval stdlib : env -> Fpath.t option

val impls : 
  env:env ->
  disambiguate:disambiguate ->
  Info.t list ->
  (Info.t list, [> `Msg of string ]) result

val verify : 
  env:env ->
  disambiguate:disambiguate ->
  Info.t list ->
  (intf list * impl list, [> `Msg of string ]) result