Module type JavaServlet.HTTPSessionIdListener

module type HTTPSessionIdListener = sig .. end
The module type for listeners compiled with -servlet session-id-listener.

val session_id_changed : javax'servlet'http'HttpSessionEvent java_instance ->
java'lang'String java_instance -> unit
Called to notify that the session identifier has changed.