Module UnivIdMap.Smart

val map : ( 'a -> 'a ) -> 'a t -> 'a t

As map but tries to preserve sharing.

val mapi : ( key -> 'a -> 'a ) -> 'a t -> 'a t

As mapi but tries to preserve sharing.