type t
val generate_key : key_length:int ‑> exponent:int ‑> ?progress:(int ‑> int ‑> unit) ‑> unit ‑> t