Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Bits.Full64Init30include State64 with type state := stateval bits : state -> int64Similar to State30.bits except it returns an int64 number. All the 64 bits must be random.
include 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.