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