Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Full64.Binclude Bits.State64 with type state := stateval bits : state -> int64Similar to State30.bits except it returns an int64 number. All the 64 bits must be random.