Compact (mavryk-protocol-alpha.Mavryk_protocol_environment_alpha.Data

type 'a t = 'a Mavryk_base.TzPervasives.Data_encoding.Compact.t

val make : ?tag_size:[ `Uint0 | `Uint16 | `Uint8 ] -> 'a t -> 'a encoding

val tag_bit_count : 'a t -> int

type void

val void : void t

val refute : void -> 'a

val unit : unit t

val null : unit t

val bool : bool t

val payload : 'a encoding -> 'a t

val option : 'a t -> 'a option t

val conv : ?json:'a encoding -> ('a -> 'b) -> ('b -> 'a) -> 'b t -> 'a t

val tup1 : 'a t -> 'a t

val tup2 : 'a t -> 'b t -> ('a * 'b) t

val tup3 : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t

val tup4 : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t

val tup5 : 
  'f1 t ->
  'f2 t ->
  'f3 t ->
  'f4 t ->
  'f5 t ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5) t

val tup6 : 
  'f1 t ->
  'f2 t ->
  'f3 t ->
  'f4 t ->
  'f5 t ->
  'f6 t ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5 * 'f6) t

val tup7 : 
  'f1 t ->
  'f2 t ->
  'f3 t ->
  'f4 t ->
  'f5 t ->
  'f6 t ->
  'f7 t ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5 * 'f6 * 'f7) t

val tup8 : 
  'f1 t ->
  'f2 t ->
  'f3 t ->
  'f4 t ->
  'f5 t ->
  'f6 t ->
  'f7 t ->
  'f8 t ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5 * 'f6 * 'f7 * 'f8) t

val tup9 : 
  'f1 t ->
  'f2 t ->
  'f3 t ->
  'f4 t ->
  'f5 t ->
  'f6 t ->
  'f7 t ->
  'f8 t ->
  'f9 t ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5 * 'f6 * 'f7 * 'f8 * 'f9) t

val tup10 : 
  'f1 t ->
  'f2 t ->
  'f3 t ->
  'f4 t ->
  'f5 t ->
  'f6 t ->
  'f7 t ->
  'f8 t ->
  'f9 t ->
  'f10 t ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5 * 'f6 * 'f7 * 'f8 * 'f9 * 'f10) t

type 'a field

val req : string -> 'a t -> 'a field

val opt : string -> 'a t -> 'a option field

val obj1 : 'a field -> 'a t

val obj2 : 'a field -> 'b field -> ('a * 'b) t

val obj3 : 'a field -> 'b field -> 'c field -> ('a * 'b * 'c) t

val obj4 : 
  'a field ->
  'b field ->
  'c field ->
  'd field ->
  ('a * 'b * 'c * 'd) t

val obj5 : 
  'f1 field ->
  'f2 field ->
  'f3 field ->
  'f4 field ->
  'f5 field ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5) t

val obj6 : 
  'f1 field ->
  'f2 field ->
  'f3 field ->
  'f4 field ->
  'f5 field ->
  'f6 field ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5 * 'f6) t

val obj7 : 
  'f1 field ->
  'f2 field ->
  'f3 field ->
  'f4 field ->
  'f5 field ->
  'f6 field ->
  'f7 field ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5 * 'f6 * 'f7) t

val obj8 : 
  'f1 field ->
  'f2 field ->
  'f3 field ->
  'f4 field ->
  'f5 field ->
  'f6 field ->
  'f7 field ->
  'f8 field ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5 * 'f6 * 'f7 * 'f8) t

val obj9 : 
  'f1 field ->
  'f2 field ->
  'f3 field ->
  'f4 field ->
  'f5 field ->
  'f6 field ->
  'f7 field ->
  'f8 field ->
  'f9 field ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5 * 'f6 * 'f7 * 'f8 * 'f9) t

val obj10 : 
  'f1 field ->
  'f2 field ->
  'f3 field ->
  'f4 field ->
  'f5 field ->
  'f6 field ->
  'f7 field ->
  'f8 field ->
  'f9 field ->
  'f10 field ->
  ('f1 * 'f2 * 'f3 * 'f4 * 'f5 * 'f6 * 'f7 * 'f8 * 'f9 * 'f10) t

val int32 : int32 t

val int64 : int64 t

val list : bits:int -> 'a encoding -> 'a list t

type 'a case

val case : 
  title:string ->
  ?description:string ->
  'b t ->
  ('a -> 'b option) ->
  ('b -> 'a) ->
  'a case

val union : ?union_tag_bits:int -> ?cases_tag_bits:int -> 'a case list -> 'a t

val void_case : title:string -> 'a case

val or_int32 : 
  int32_title:string ->
  alt_title:string ->
  ?alt_description:string ->
  'a encoding ->
  (int32, 'a) Either.t t

module Custom : sig ... end