Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Bits.Full30include Init30 with type state := stateval new_state : unit -> stateCreate a new non-initialised state.
Required size for the array in init.
val init : state -> int array -> unitInitialise 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.