val curry : ('a * 'b -> 'c) -> 'a -> 'b -> 'c
val decurry : ('a -> 'b -> 'c) -> 'a * 'b -> 'c
val u : int -> float
val factoriter : int -> int
val puissance : int -> int -> int
val sum : int -> int -> float
val pgcd : int -> int -> int
val valuation : int -> int -> int
val maximum : 'a array -> 'a
val mirroir : 'a array -> 'a array
val appartenance : 'a array -> 'a -> bool
val appartprof : 'a array -> 'a -> bool
val appartsenti : 'a array -> 'a -> bool
val permut : int array -> bool
val f : int -> int
val u : int -> int -> int
val suite_rec : int -> int -> int
val factoiter : int -> int
val factorecu : int -> int
val puissancerecu : int -> int -> int
val puissanceiter : int -> int -> int
val carrerecu : int -> int
val sumpq : int -> int -> int
val productpq : 'a -> int -> int
val minimumtab : 'a array -> 'a
val minimumtabindice : 'a array -> int
val min2_aux : 'a array -> int -> int
val min2 : 'a array -> int
val minmax_aux : 'a array -> int -> int * int
val minmax : 'a array -> int * int
val productegypt : int -> int -> int
val divisioneucli1 : int -> int -> int * int
val pgcd : int -> int -> int
val pgcdprof : int -> int -> int
val pgcd2prof : int -> int -> int
val fib : int -> float
val coeffbinom : int -> int -> int
val coeffbinom2duprof : int -> int -> int