Bap_c_type_mapper.State
the mapper lifted into a regular state monad.
type ('a, 'e) m = ('a, 'e) Monads.Std.Monad.State.t
class 'e base : object ... end