Ocaml_typing.Uniqueness_analysis
val check_uniqueness_exp : Typedtree.expression -> unit
val check_uniqueness_value_bindings : Typedtree.value_binding list -> unit
module type P := sig ... end
module Maybe_unique : P
module Maybe_aliased : P
module Aliased : P
module Usage : P
module Tag : P
module Projection : P
module Usage_tree : P
module Usage_forest : P
module Paths : P
module Value : P
module Ienv : sig ... end