package erm_xmpp
-
erm_xmpp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package erm_xmpp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type IDCALLBACK = sig ... endmodule type S = sig ... endmodule Make
(M : Xmlstream.MONAD)
(XmlParser : Xmlstream.S)
(IDCallback : IDCALLBACK) :
sig ... end