module type ServletContextListener = sig .. end
sig
end
val context_initialized : javax'servlet'ServletContextEvent java_instance -> unit
javax'servlet'ServletContextEvent java_instance -> unit
val context_destroyed : javax'servlet'ServletContextEvent java_instance -> unit