Poly (non_zero_curve_point.Non_zero_curve

module Stable : sig ... end

type ('field, 'boolean) t = ( 'field, 'boolean ) Stable.Latest.t = {

x : 'field;

is_odd : 'boolean;

}

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