Module Protect.ESource

Sourcetype 'a t = {
  1. r : 'a R.t;
  2. feedback : Message.t list;
}
Sourceval map : f:('a -> 'b) -> 'a t -> 'b t
Sourceval map_loc : f:(Loc.t -> Loc.t) -> 'a t -> 'a t