bap-c

A C language support library for BAP
IN THIS PACKAGE

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

Search Monad.

module State : Bap_c_type_mapper_intf.S with type ('a, 'e) m = ( 'a, 'e ) Monads.Std.Monad.State.t

the mapper lifted into a regular state monad.

module Finder : Bap_c_type_mapper_intf.S with type ('a, 'e) m = ( 'a, 'e ) Search.t

the visitor lifted into the search monad.

module Make (M : Monads.Std.Monad.S2) : Bap_c_type_mapper_intf.S with type ('a, 'e) m = ( 'a, 'e ) M.t

Make(M) lifts the visitor into monad M.