Sourceval get_seeds : int -> int array Sourceval string_of_dense : (int, 'a, 'b) BA1.t -> string Sourceval update_bounds : int array -> Fp.t -> unit Sourceval lookup_table : int array -> int array Sourceval acc_bounds_table : int array -> int array Sourceval gen_rands : int array -> int -> int array array