package bap-c
-
bap_c
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Bap_c_type_mapper_intf end
module type S = Bap_c_type_mapper_intf.SType 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
class 'e base : object ... endmodule Search = Bap_c_type_mapper.SearchSearch Monad.
module State = Bap_c_type_mapper.Statethe mapper lifted into a regular state monad.
module Finder = Bap_c_type_mapper.Finderthe visitor lifted into the search monad.
module Make = Bap_c_type_mapper.MakeMake(M) lifts the visitor into monad M.