Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module WordSet = Cbat_clp_set_composite
include Cbat_lattice_intf.S_val with type t := t
val top : t
val bottom : t
val bin_t : t Core_kernel.Std.Bin_prot.Type_class.t
val bin_read_t : t Core_kernel.Std.Bin_prot.Read.reader
val __bin_read_t__ : (int -> t) Core_kernel.Std.Bin_prot.Read.reader
val bin_reader_t : t Core_kernel.Std.Bin_prot.Type_class.reader
val bin_size_t : t Core_kernel.Std.Bin_prot.Size.sizer
val bin_write_t : t Core_kernel.Std.Bin_prot.Write.writer
val bin_writer_t : t Core_kernel.Std.Bin_prot.Type_class.writer
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val pp : Format.formatter -> t -> unit
val add_memory : t -> key:Bap.Std.var -> data:Cbat_ai_memmap.t -> t
val find_word : WordSet.idx -> t -> Bap.Std.var -> WordSet.t
val find_memory : Cbat_ai_memmap.idx -> t -> Bap.Std.var -> Cbat_ai_memmap.t