Module `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 : Uniqueness_analysis.P

module Maybe_aliased : Uniqueness_analysis.P

module Aliased : Uniqueness_analysis.P

module Usage : Uniqueness_analysis.P

module Tag : Uniqueness_analysis.P

module Projection : Uniqueness_analysis.P

module Usage_tree : Uniqueness_analysis.P

module Usage_forest : Uniqueness_analysis.P

module Paths : Uniqueness_analysis.P

module Value : Uniqueness_analysis.P

module Ienv : sig ... end

Module Uniqueness_analysis