Legend:
Library
Module
Module type
Parameter
Class
Class type
Common signature for transient and restartable generators
The signature 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).