package lutin

  1. Overview
  2. Docs

Annexe : utilitaires divers

----------------------------------------------------------

val iter_sep : ('a -> unit) -> ('a -> unit) -> 'a list -> unit

iter_sep f s x1;x2; ...;xn est équivalent à :

(f x1); s; (f x2); s; ... ; s; (f xn)

val paranoid : unit -> bool
val set_paranoid : unit -> unit
val set_prof : unit -> unit
val time_C : string -> unit
val time_R : string -> unit
val time_P : unit -> unit