Up  

Module Generic_util_functor.T

module T: sig .. end
type 'f functorial = {
   fmap : 'a 'b.
('a -> 'b) ->
('a, 'f) App.T.app -> ('b, 'f) App.T.app;
}