module Gen_intf:sig
..end
The signature Gen_intf.S
abstracts on a type 'a t
, where the t
can be
the type of transient or restartable generators. Some functions specify
explicitely that they use 'a gen
(transient generators).
type'a
gen =unit -> 'a option
module type S =sig
..end