Random_oracle.Digest
type t = Pickles.Impls.Step.Internal_Basic.Field.t
val to_bits : ?length:int -> t -> bool list