Mutils (rocq-runtime.Micromega_core

module ISet : sig ... end

module IMap : sig ... end

module Cmp : sig ... end

module Tag : sig ... end

module TagSet : CSig.SetS with type elt = Tag.t

module McPrinter : sig ... end

val pp_list : 
  string ->
  (Stdlib.out_channel -> 'a -> unit) ->
  Stdlib.out_channel ->
  'a list ->
  unit

module CamlToCoq : sig ... end

module CoqToCaml : sig ... end

module Hash : sig ... end

val all_pairs : ('a -> 'a -> 'b) -> 'a list -> 'b list

val is_sublist : ('a -> 'b -> bool) -> 'a list -> 'b list -> bool

val extract : ('a -> 'b option) -> 'a list -> ('b * 'a) option * 'a list

val extract_all : ('a -> 'b option) -> 'a list -> 'b list * 'a list

val iterate_until_stable : ('a -> 'a option) -> 'a -> 'a

val simplify : ('a -> 'a option) -> 'a list -> 'a list option

val saturate : 
  ('a -> 'b option) ->
  (('b * 'a) -> 'a -> 'a option) ->
  'a list ->
  'a list

val app_funs : ('a -> 'b option) list -> 'a -> 'b option

val command : string -> string array -> 'a -> 'b