Legacy (random_oracle.Random

module Input = Random_oracle_input.Legacy

module State : sig ... end

module Digest : sig ... end

val state_size : int

val rate : int

val initial_state : Pickles.Impls.Step.Internal_Basic.Field.t State.t

val update : 
  state:Pickles.Impls.Step.Internal_Basic.Field.t State.t ->
  Pickles.Impls.Step.Internal_Basic.Field.t array ->
  Pickles.Impls.Step.Internal_Basic.Field.t State.t

val digest : Pickles.Impls.Step.Internal_Basic.Field.t State.t -> Digest.t

val hash : 
  ?init:Pickles.Impls.Step.Internal_Basic.Field.t State.t ->
  Pickles.Impls.Step.Internal_Basic.Field.t array ->
  Digest.t

val pack_input : 
  ( Pickles.Impls.Step.Internal_Basic.Field.t, bool )
    Random_oracle_input.Legacy.t ->
  Pickles.Impls.Step.Internal_Basic.Field.t array

val salt : string -> Pickles.Impls.Step.Internal_Basic.Field.t State.t

module Checked : sig ... end