Bit_sponge (sponge.Sponge.Bit

type ('s, 'bool) t

val map : ( 'a, 'x ) t -> f:( 'a -> 'b ) -> ( 'b, 'x ) t

val make : ?last_squeezed:'bool list -> 's -> ( 's, 'bool ) t

val underlying : ( 's, _ ) t -> 's

module Make
  (Bool : sig ... end)
  (Field : sig ... end)
  (Input : Intf.T)
  (S : 
    Intf.Sponge
      with module State := State
       and module Field := Field
       and type digest := Field.t
       and type input := Input.t) : 
  sig ... end