Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include Cbat_wordset_intf.S with type t := 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 of_list : width:int -> Bap.Std.word list -> t
val singleton : Bap.Std.word -> t
val bitwidth : t -> int
val cardinality : t -> Bap.Std.word
val min_elem : t -> Bap.Std.word option
val max_elem : t -> Bap.Std.word option
val min_elem_signed : t -> Bap.Std.word option
val max_elem_signed : t -> Bap.Std.word option
val nearest_pred : Bap.Std.word -> t -> Bap.Std.word option
val nearest_succ : Bap.Std.word -> t -> Bap.Std.word option
val splits_by : t -> Bap.Std.word -> bool
val elem : Bap.Std.word -> t -> bool
val iter : t -> Bap.Std.word list
val is_top : t -> bool
val is_bottom : t -> bool
val of_clp : Cbat_clp.t -> t