const.mli

type parameter = {
  rmax : int;
  tree_type : int;
  size_of_tree : int;
  number_of_speeds : int;
  static : float;
  max_speed : int;
  regularity_speed : int;
  number_of_tests : int;
  expe_number : int
 }

val default : parameter

(* val lambda0 : float *)
(* val fmax : float *)
(* val fr : float *)
(* val n : int *)
(* val ratio_deadlineMAX : float *)
(* val bound : float *)
(* val nbrHeur : int *)