Module type Bsmlsig.MACHINE_PARAMETERS

module type MACHINE_PARAMETERS = sig .. end

type bsp = {

}

Describes the BSP parameters of the machine.

val read : int -> unit

Reads the parameters from the configuration file. Parameters :

bsp_p The current number of processors to choose among the possible configurations

val get : unit -> bsp

Get the current parameters.
Returns the value of the parameters as initialised by read ()