module Functor_list: Functor a°À0DgtÀ1Dgv@@@À�!b°À6
Functor
a°À0DgtÀ1Dgv@@@À�!b°À6
type 'a f
'a
val map : ('a -> 'b) -> 'a f -> 'b f
('a -> 'b) -> 'a f -> 'b f