Module Mode.Jive

val digest : (module Bls12_381_hash__.S.PERMUTATION with type parameters = 'p) -> 'p -> Mavryk_bls12_381.Fr.t array -> Mavryk_bls12_381.Fr.t
val digest_b : (module Bls12_381_hash__.S.PERMUTATION with type parameters = 'p) -> 'p -> Mavryk_bls12_381.Fr.t array -> int -> Mavryk_bls12_381.Fr.t array