V1 (non_zero_curve_point.Non_zero_curve_point.Compressed.Poly.Stable.V1)

type ('field, 'boolean) t =
  ( 'field, 'boolean ) Mina_wire_types.Public_key.Compressed.Poly.V1.t =
  {

x : 'field;

is_odd : 'boolean;

}

val bin_shape_t : 
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t

val bin_size_t : 
  'field 'boolean. 'field Core_kernel.Bin_prot.Size.sizer ->
  'boolean Core_kernel.Bin_prot.Size.sizer ->
  ( 'field, 'boolean ) t Core_kernel.Bin_prot.Size.sizer

val bin_write_t : 
  'field 'boolean. 'field Core_kernel.Bin_prot.Write.writer ->
  'boolean Core_kernel.Bin_prot.Write.writer ->
  ( 'field, 'boolean ) t Core_kernel.Bin_prot.Write.writer

val bin_writer_t : 
  'a Core_kernel.Bin_prot.Type_class.writer ->
  'b Core_kernel.Bin_prot.Type_class.writer ->
  ( 'c, 'd ) t Core_kernel.Bin_prot.Type_class.writer

val __bin_read_t__ : 
  'field 'boolean. 'field Core_kernel.Bin_prot.Read.reader ->
  'boolean Core_kernel.Bin_prot.Read.reader ->
  ( int -> ( 'field, 'boolean ) t ) Core_kernel.Bin_prot.Read.reader

val bin_read_t : 
  'field 'boolean. 'field Core_kernel.Bin_prot.Read.reader ->
  'boolean Core_kernel.Bin_prot.Read.reader ->
  ( 'field, 'boolean ) t Core_kernel.Bin_prot.Read.reader

val bin_reader_t : 
  'a Core_kernel.Bin_prot.Type_class.reader ->
  'b Core_kernel.Bin_prot.Type_class.reader ->
  ( 'c, 'd ) t Core_kernel.Bin_prot.Type_class.reader

val bin_t : 
  'a Core_kernel.Bin_prot.Type_class.t ->
  'b Core_kernel.Bin_prot.Type_class.t ->
  ( 'c, 'd ) t Core_kernel.Bin_prot.Type_class.t

val version : int

val __versioned__ : unit

val compare : 
  'field 'boolean. ( 'field -> 'field -> int ) ->
  ( 'boolean -> 'boolean -> int ) ->
  ( 'field, 'boolean ) t ->
  ( 'field, 'boolean ) t ->
  int

val equal : 
  'field 'boolean. ( 'field -> 'field -> bool ) ->
  ( 'boolean -> 'boolean -> bool ) ->
  ( 'field, 'boolean ) t ->
  ( 'field, 'boolean ) t ->
  bool

val hash_fold_t : 
  'field 'boolean. ( Ppx_hash_lib.Std.Hash.state ->
                     'field ->
                     Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'boolean -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'field, 'boolean ) t ->
  Ppx_hash_lib.Std.Hash.state

val to_hlist : 
  ( 'field, 'boolean ) t ->
  ( unit, 'field -> 'boolean -> unit ) H_list.t

val of_hlist : 
  ( unit, 'field -> 'boolean -> unit ) H_list.t ->
  ( 'field, 'boolean ) t

module With_all_version_tags : sig ... end