include module type of struct include TYPES end
include module type of struct include Url.TYPES end
Sourcetype ip_info = TYPES.ip_info = {ip_ip : string;mutable ip_last : float;mutable ip_nb : int;ip_country : string * string;
} Sourcetype 'b io = 'b IO.io = | Empty : unit io| Json : 'a Json_encoding.encoding -> 'a io| Raw : Mime.t list -> string io
Sourcetype ('args, 'input, 'output, 'error, 'security) service = {s : ('args, 'input, 'output, 'error, 'security) Service.t;doc : Doc.t;
} Sourcetype ('output, 'error, 'security) service0 =
(Req.t, unit, 'output, 'error, 'security) service Sourcetype ('arg, 'output, 'error, 'security) service1 =
(Req.t * 'arg, unit, 'output, 'error, 'security) service Sourcetype ('arg1, 'arg2, 'output, 'error, 'security) service2 =
((Req.t * 'arg1) * 'arg2, unit, 'output, 'error, 'security) service Sourcetype ('input, 'output, 'error, 'security) post_service0 =
(Req.t, 'input, 'output, 'error, 'security) service Sourcetype ('arg, 'input, 'output, 'error, 'security) post_service1 =
(Req.t * 'arg, 'input, 'output, 'error, 'security) service Sourcetype ('arg1, 'arg2, 'input, 'output, 'error, 'security) post_service2 =
((Req.t * 'arg1) * 'arg2, 'input, 'output, 'error, 'security) service Sourcetype ('input, 'output, 'error, 'security) ws_service0 =
(Req.t, 'input, 'output, 'error, 'security) service Sourcetype ('arg, 'input, 'output, 'error, 'security) ws_service1 =
(Req.t * 'arg, 'input, 'output, 'error, 'security) service Sourcetype ('arg1, 'arg2, 'input, 'output, 'error, 'security) ws_service2 =
((Req.t * 'arg1) * 'arg2, 'input, 'output, 'error, 'security) service Sourceval warning : string -> unit Sourceval warnings : (string -> unit) -> unit Sourceval post_service :
?section:Doc.section ->
?name:string ->
?descr:string ->
?meth:Meth.t ->
input:'a Json_encoding.encoding ->
output:'b Json_encoding.encoding ->
?errors:'c Err.case list ->
?params:Param.t list ->
?security:([< Security.scheme ] as 'd) list ->
?register:bool ->
?input_example:'a ->
?output_example:'b ->
(Req.t, 'e) Path.t ->
('e, 'a, 'b, 'c, 'd) service