Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Bits.Init30
val new_state : unit -> state
Create a new non-initialised state.
Required size for the array in init
.
val init : state -> int array -> unit
Initialise the state based on the values in the array. The array contains init_size
random 30-bits integers.
Seed that will be given to init
to generate the default state.