Up  – Index  » goblint  » Goblint_lib  » WitnessUtil  » Locator  » FileHtype  !'a t  = 'a  Stdlib .Hashtbl.Make(Basetype .RawStrings).t val  is_empty : 'a  t   ->   boolval  add : 'a  t   ->   key  ->   'a  ->   unitval  remove : 'a  t   ->   key  ->   unitval  remove_all : 'a  t   ->   key  ->   unitval  find : 'a  t   ->   key  ->   'a val  find_all : 'a  t   ->   key  ->   'a  listval  find_default : 'a  t   ->   key  ->   'a  ->   'a val  find_option : 'a  t   ->   key  ->   'a  optionval  find_opt : 'a  t   ->   key  ->   'a  optionval  replace : 'a  t   ->   key  ->   'a  ->   unitval  mem : 'a  t   ->   key  ->   boolval  iter : (key  ->   'a  ->   unit)  ->   'a  t   ->   unitval  for_all : (key  ->   'a  ->   bool)  ->   'a  t   ->   boolval  fold : (key  ->   'a  ->   'b  ->   'b )  ->   'a  t   ->   'b  ->   'b val  exists : (key  ->   'a  ->   bool)  ->   'a  t   ->   boolval  map : (key  ->   'b  ->   'c )  ->   'b  t   ->   'c  t val  map_inplace : (key  ->   'a  ->   'a )  ->   'a  t   ->   unitval  filter : ('a  ->   bool)  ->   'a  t   ->   'a  t val  filter_inplace : ('a  ->   bool)  ->   'a  t   ->   unitval  filteri : (key  ->   'a  ->   bool)  ->   'a  t   ->   'a  t val  filteri_inplace : (key  ->   'a  ->   bool)  ->   'a  t   ->   unitval  filter_map : (key  ->   'a  ->   'b  option )  ->   'a  t   ->   'b  t val  filter_map_inplace : (key  ->   'a  ->   'a  option )  ->   'a  t   ->   unitval  modify : key  ->   ('a  ->   'a )  ->   'a  t   ->   unitval  modify_def : 'a  ->   key  ->   ('a  ->   'a )  ->   'a  t   ->   unitval  modify_opt : key  ->   ('a  option  ->   'a  option )  ->   'a  t   ->   unitval  merge : 
  (key  ->   'a  option  ->   'b  option  ->   'c  option )  ->  
  'a  t   ->  
  'b  t   ->  
  'c  t val  merge_all : (key  ->   'a  list  ->   'b  list  ->   'c  list )  ->   'a  t   ->   'b  t   ->   'c  t val  stats : 'a  t   ->   BatHashtbl .statisticsval  to_seq : 'a  t   ->   (key  * 'a )  Stdlib .Seq.tval  to_seq_keys : 'a  t   ->   key  Stdlib .Seq.tval  to_seq_values : 'a  t   ->   'a  Stdlib .Seq.tval  add_seq : 'a  t   ->   (key  * 'a )  Stdlib .Seq.t  ->   unitval  replace_seq : 'a  t   ->   (key  * 'a )  Stdlib .Seq.t  ->   unitval  of_seq : (key  * 'a )  Stdlib .Seq.t  ->   'a  t val  keys : 'a  t   ->   key  BatEnum .tval  values : 'a  t   ->   'a  BatEnum .tval  enum : 'a  t   ->   (key  * 'a )  BatEnum .tval  to_list : 'a  t   ->   (key  * 'a )  listval  of_enum : (key  * 'a )  BatEnum .t  ->   'a  t val  of_list : (key  * 'a )  list  ->   'a  t val  print : 
  ?first :string ->  
  ?last :string ->  
  ?sep :string ->  
  ('a  BatInnerIO .output  ->   key  ->   unit)  ->  
  ('a  BatInnerIO .output  ->   'b  ->   unit)  ->  
  'a  BatInnerIO .output  ->  
  'b  t   ->  
  unitmodule  Infix  : sig  ... end