Module `Ocaml_typing.Uniqueness_analysis`

val check_uniqueness_exp : Ocaml_typing.Typedtree.expression -> unit

val check_uniqueness_value_bindings : 
  Ocaml_typing.Typedtree.value_binding list ->
  unit

module type P := sig ... end

module Maybe_unique : Ocaml_typing.Uniqueness_analysis.P

module Maybe_aliased : Ocaml_typing.Uniqueness_analysis.P

module Aliased : Ocaml_typing.Uniqueness_analysis.P

module Usage : Ocaml_typing.Uniqueness_analysis.P

module Tag : Ocaml_typing.Uniqueness_analysis.P

module Projection : Ocaml_typing.Uniqueness_analysis.P

module Usage_tree : Ocaml_typing.Uniqueness_analysis.P

module Usage_forest : Ocaml_typing.Uniqueness_analysis.P

module Paths : Ocaml_typing.Uniqueness_analysis.P

module Value : Ocaml_typing.Uniqueness_analysis.P

module Ienv : sig ... end

Module Ocaml_typing.Uniqueness_analysis