]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter.mli
first moogle template checkin
[helm.git] / helm / ocaml / getter / http_getter.mli
index 8d1ae4b5c05e57e5a598661efce2ffe2a799b2fc..a7d12f5a1611e8867d280d5df34bfd9a819665f1 100644 (file)
 
 open Http_getter_types
 
+  (** {2 Loggers} *)
+
 type logger_callback = HelmLogger.html_tag -> unit
 
+val stdout_logger: logger_callback
+
   (** {2 Getter Web Service interface as API *)
 
 val help: unit -> string