val sexp_of_t : ('b ‑> Ppx_sexp_conv_lib.Sexp.t) ‑> 'b t ‑> Ppx_sexp_conv_lib.Sexp.t
val hashable : key Core_kernel__.Hashtbl_intf.Hashable.t
val invariant : 'a Base__.Invariant_intf.inv ‑> 'a t Base__.Invariant_intf.inv
val clear : ('a, 'b) t_ ‑> unit
val iter : ('a, 'b) t_ ‑> f:('b ‑> unit) ‑> unit
val exists : ('a, 'b) t_ ‑> f:('b ‑> bool) ‑> bool
val for_all : ('a, 'b) t_ ‑> f:('b ‑> bool) ‑> bool
val count : ('a, 'b) t_ ‑> f:('b ‑> bool) ‑> int
val length : ('a, 'b) t_ ‑> int
val is_empty : ('a, 'b) t_ ‑> bool
type 'a merge_into_action
= 'a Frenetic_netkat__Vlr.Make(Frenetic_netkat__Fdd.Field)(Frenetic_netkat__Fdd.Value)(Frenetic_netkat__Fdd.Action).BinTbl.merge_into_action
=
| Remove |
| Set_to of 'a |
val merge_into : src:('k, 'a) t_ ‑> dst:('k, 'b) t_ ‑> f:(key:'k key_ ‑> 'a ‑> 'b option ‑> 'b merge_into_action) ‑> unit
val data : ('a, 'b) t_ ‑> 'b list
val filter_inplace : ('a, 'b) t_ ‑> f:('b ‑> bool) ‑> unit
val map_inplace : ('a, 'b) t_ ‑> f:('b ‑> 'b) ‑> unit
val filter_map_inplace : ('a, 'b) t_ ‑> f:('b ‑> 'b option) ‑> unit
module Provide_of_sexp : functor (Key : sig ... end) -> sig ... end
module Provide_bin_io : functor (Key : sig ... end) -> sig ... end
val t_of_sexp : (Ppx_sexp_conv_lib.Sexp.t ‑> 'v_x__002_) ‑> Ppx_sexp_conv_lib.Sexp.t ‑> 'v_x__002_ t