Module Protect.RSource

Sourcetype 'a t =
  1. | Completed of ('a, Loc.t option * Pp.t) result
  2. | Interrupted