+1 -1

xen/nocrypto_entropy_xen.ml

reviewed

··· 3 3 open Nocrypto 4 4 open Uncommon 5 5 6 6 - module E = Entropy_xen 6 6 + module E = Entropy 7 7 8 8 type t = { e : E.t ; token : E.token ; g : Rng.g } 9 9

+3 -3

xen/nocrypto_entropy_xen.mli

reviewed

··· 17 17 18 18 (** {1 Interface to Mirage Entropy} *) 19 19 20 20 - val sources : unit -> Entropy_xen.source list option 21 21 - (** {!Entropy_xen.source}s set up with the last {{!initialize}initialize}. *) 20 20 + val sources : unit -> Entropy.source list option 21 21 + (** {!Entropy.source}s set up with the last {{!initialize}initialize}. *) 22 22 23 23 - val attach : Entropy_xen.t -> Nocrypto.Rng.g -> Entropy_xen.token Lwt.t 23 23 + val attach : Entropy.t -> Nocrypto.Rng.g -> Entropy.token Lwt.t 24 24 (** [attach e g] starts seeding [g] from the entropy provider [e] and returns 25 25 the token to stop the seeding. *)