Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package bap-term-mapper
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Bap_bml
BML - Bap Mapping Language.
A small DSL for mapping terms. See bap --map-terms-help for full language grammar and description. This library implements BML's standard library and can be used to extend the language with new predicates and mapper. Just implement them and register using corresponding module.
module type Registry = sig ... endInterface to a registry. Registry is a key value storage.
module type Ops = sig ... endmodule Predicates : Ops with type t = bool Bap.Std.Term.visitormodule Mappers : Ops with type t = Bap.Std.Term.mapper