Module Request.RSource

Sourcetype ('r, 'e) t = ('r, 'e Error.t) Result.t
Sourceval map_error : f:('e -> 'f) -> ('r, 'e) t -> ('r, 'f) t
Sourceval of_execution : lines:string Array.t -> name:string -> f:('a -> (('r, string) t, Loc.t) Coq.Protect.E.t) -> 'a -> ('r, string) t