Module TzPervasives.RPC_arg

type ('i, 'j) eq = ( 'i, 'j ) Resto.eq =
| Eq : ( 'a, 'a ) eq
include module type of struct include Resto.Arg end
type 'a t = 'a Resto.Arg.t
type 'a arg = 'a t
val make : ?descr:string -> name:string -> destruct:( string -> ( 'a, string ) Stdlib.result ) -> construct:( 'a -> string ) -> unit -> 'a arg
type descr = Resto.Arg.descr = {
name : string;
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
val uint : int arg

uint is the same as int except that negative numbers are rejected.

val uint31 : int32 arg

uint31 is the same as int32 except that negative numbers are rejected.

val uint63 : int64 arg

uint63 is the same as int64 except that negative numbers are rejected.

val eq_descr : descr -> descr -> bool