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 ... end
Interface to a registry. Registry is a key value storage.
module type Ops = sig ... end
module Predicates : Ops with type t = bool Bap.Std.Term.visitor
module Mappers : Ops with type t = Bap.Std.Term.mapper