Sourceval servicesessiongcfrequency : float option ref Sourceval datasessiongcfrequency : float option ref Sourceval persistentsessiongcfrequency : float option ref Sourceval set_servicesessiongcfrequency : float option -> unit Sourceval set_datasessiongcfrequency : float option -> unit Sourceval get_servicesessiongcfrequency : unit -> float option Sourceval get_datasessiongcfrequency : unit -> float option Sourceval set_persistentsessiongcfrequency : float option -> unit Sourceval get_persistentsessiongcfrequency : unit -> float option Sourceval service_session_gc : Eliom_common.sitedata -> unit Sourceval data_session_gc : Eliom_common.sitedata -> unit Sourceval persistent_session_gc : Eliom_common.sitedata -> unit Sourceval section : Lwt_log_core.section