package tezos-rpc

  1. Overview
  2. Docs
type ('i, 'j) eq = ('i, 'j) Resto.eq =
  1. | Eq : ('a, 'a) eq
include module type of struct include Resto.Arg end

Typed path argument.

type 'a t = 'a Resto.Arg.t
type 'a arg = 'a t
val make : ?descr:string -> name:string -> destruct:(string -> ('a, string) result) -> construct:('a -> string) -> unit -> 'a arg
type descr = Resto.Arg.descr = {
  1. name : string;
  2. descr : string option;
}
val descr : 'a arg -> descr
val bool : bool arg
val int : int arg
val int32 : int32 arg
val int64 : int64 arg
val float : float arg
val string : string arg
val like : 'a arg -> ?descr:string -> string -> 'a arg
val eq : 'a arg -> 'b arg -> ('a, 'b) Resto.eq option