sig val mutual : bool val hash_function : Netsys_digests.iana_hash_fn val test_nonce : string option end