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