type nonrec ('args2, 'args, 'input, 'output) service = ('args, 'input, 'output, Security.uninhabited, Security.none) servicetype 'output service0 = (unit, Req.t, unit, 'output) servicetype ('arg, 'output) service1 = (unit * 'arg, Req.t * 'arg, unit, 'output) servicetype ('arg1, 'arg2, 'output) service2 = ((unit * 'arg1) * 'arg2, (Req.t * 'arg1) * 'arg2, unit, 'output) servicetype ('input, 'output) post_service0 = (unit, Req.t, 'input, 'output) servicetype ('arg, 'input, 'output) post_service1 = (unit * 'arg, Req.t * 'arg, 'input, 'output) servicetype ('arg1, 'arg2, 'input, 'output) post_service2 = ((unit * 'arg1) * 'arg2, (Req.t * 'arg1) * 'arg2, 'input, 'output) service
val post_service : ?section:Doc.section -> ?name:string -> ?descr:string -> ?meth:Meth.t -> input:'a Json_encoding.encoding -> output:'b Json_encoding.encoding -> ?params:Param.t list -> (Req.t, 'c) Path.t -> ('c, 'a, 'b, 'd, [< Security.scheme ]) serviceval service : ?section:Doc.section -> ?name:string -> ?descr:string -> ?meth:Meth.t -> output:'a Json_encoding.encoding -> ?params:Param.t list -> (Req.t, 'b) Path.t -> ('b, unit, 'a, 'c, [< Security.scheme ]) service