Module Generic_util_monad.Reader

module Reader: sig .. end

type 'b reader = 

type ('_, '_) App.T.app += 

val run_reader : ('a, 'b reader) App.T.app -> 'b -> 'a

val reader : 'a reader Generic_util_monad.monad

val ask : ('a, 'a reader) App.T.app

val local : ('a -> 'b) ->
       ('c, 'b reader) App.T.app ->
       ('c, 'a reader) App.T.app