package lutin

  1. Overview
  2. Docs

Module UtilsSource

Annexe : utilitaires divers

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

Sourceval 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)

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