Mode.Jiveval digest :
(module Bls12_381_hash__.S.PERMUTATION with type parameters = 'p) ->
'p ->
Bls12_381.Fr.t array ->
Bls12_381.Fr.tval digest_b :
(module Bls12_381_hash__.S.PERMUTATION with type parameters = 'p) ->
'p ->
Bls12_381.Fr.t array ->
int ->
Bls12_381.Fr.t array