package uniq

  1. Overview
  2. Docs
package uniq
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Uniq_closSource

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 stdlib : env -> Fpath.t option
Sourceval impls : env:env -> disambiguate:disambiguate -> Info.t list -> (Info.t list, [> `Msg of string ]) result
Sourceval verify : env:env -> disambiguate:disambiguate -> Info.t list -> (intf list * impl list, [> `Msg of string ]) result