Ienv.Extension
type t
val print : Stdlib.Format.formatter -> Uniqueness_analysis.Ienv.Extension.t -> unit