Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package caldav
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type tree = Webdav_xml.treemodule type S = sig ... endmodule Make
(R : Mirage_random.S)
(Clock : Mirage_clock.PCLOCK)
(Fs : Webdav_fs.S) :
S with type state = Fs.t