Parameter Full64.1-B
include Bits.State64 with type state := state
val bits : state -> int64
Similar to
Bits.State30.bits
except it returns anint64
number. All the 64 bits must be random.
include Bits.Init64 with type state := state
val new_state : unit -> state
val assign : state -> state -> unit
val init_size : int
val init : state -> int64 array -> unit
Same as
Bits.Init30.init
except receives an array ofint64
where all the bits are random.