Module Uniqueness_analysis.Ienv

include P
type t
val print : Format.formatter -> t -> unit
module Extension : P