Module Smart.ShallowSource

Sourcetype 'uid t = private
  1. | Shallow of 'uid
  2. | Unshallow of 'uid
Sourceval map : f:('a -> 'b) -> 'a t -> 'b t