Bap_c_type_mapper.Make
Make(M) lifts the visitor into monad M.
Make(M)
M
module M : Monads.Std.Monad.S2
type ('a, 'e) m = ('a, 'e) M.t
class 'e base : object ... end