Tools (libabsolute.Libabsolute.Tools)

exception Bot_found

exception for bottom values

Printing stuff

val fail_fmt : ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'c

same as failwith but uses a format instead

val invalid_fmt : ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'c

same as invalid_arg but uses a format instead

val inplace_print : unit -> Stdlib.Format.formatter -> string -> unit

printing that erases previous output. should not be intertwined with other prints

val pp_list_sep : 
  string ->
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a list ->
  unit

same as Format.pp_print_list but with a string as a separator

val swap_pair : ('a * 'b) -> 'c * 'd

misc

val fold_on_combination_2 : 
  ?duplicate:bool ->
  ('a -> 'b -> 'c -> 'd) ->
  'e ->
  'f array ->
  'g

folder on all possible combinations of size 2 of an array

val meet_bot : ('a -> 'b -> 'c) -> 'd option -> 'b option -> 'e option

meet on options

val merge_bot : 'a option -> 'b option -> ('c * 'd) option

merge on options

val join_bot2 : ('a -> 'b -> 'c) -> 'd option -> 'd option -> 'd option

join on options

module VarMap : sig ... end

only one instanciation forall variable maps modules

val list_pick : 'a list -> 'b

module VarSet : sig ... end