Bap_bml.Predicates
type t = bool Bap.Std.Term.visitor
module Nullary : Registry with type t = t
module Unary : Registry with type t = string -> t