Pbkdf.SHA256val pbkdf2 :
password:Mavryk_base.TzPervasives.Bytes.t ->
salt:Mavryk_base.TzPervasives.Bytes.t ->
count:int ->
dk_len:int32 ->
Mavryk_base.TzPervasives.Bytes.tpbkdf2 password salt count dk_len is dk, the derived key of dk_len octets.