Module Uniqueness_analysis.Ienv
include Uniqueness_analysis.P
val print : Stdlib.Format.formatter -> Uniqueness_analysis.Ienv.t -> unitmodule Extension : Uniqueness_analysis.PUniqueness_analysis.Ienvinclude Uniqueness_analysis.Pval print : Stdlib.Format.formatter -> Uniqueness_analysis.Ienv.t -> unitmodule Extension : Uniqueness_analysis.P