Mapper (bap-c.Bap_c.Std.C.Type.Mapper)

include module type of struct include Bap_c_type_mapper_intf end

module type S = Bap_c_type_mapper_intf.S

Type mapper, visitor, iterator, finder all in one.

include module type of struct include Bap_c_type_mapper end

include visitor/mapper with the monad stripped away.

include Bap_c_type_mapper_intf.S with type ('a, 'e) m = 'a

type ('a, 'e) m = 'a

class 'e base : object ... end

module Search = Bap_c_type_mapper.Search

Search Monad.

module State = Bap_c_type_mapper.State

the mapper lifted into a regular state monad.

module Finder = Bap_c_type_mapper.Finder

the visitor lifted into the search monad.

module Make = Bap_c_type_mapper.Make

Make(M) lifts the visitor into monad M.