Gate_type (pickles.Plonk_checks.Scalars.Gate

module T : sig ... end

val compare : T.t -> T.t -> Core_kernel__.Import.int

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  T.t ->
  Ppx_hash_lib.Std.Hash.state

val hash : T.t -> Ppx_hash_lib.Std.Hash.hash_value

val hashable : T.t Core_kernel__.Hashtbl.Hashable.t

module Table : sig ... end

module Hash_set : sig ... end

module Hash_queue : sig ... end

include module type of struct include T end

type t = Kimchi_types.gate_type =

| Zero

| Generic

| Poseidon

| CompleteAdd

| VarBaseMul

| EndoMul

| EndoMulScalar

| ChaCha0

| ChaCha1

| ChaCha2

| ChaChaFinal

| Lookup

| CairoClaim

| CairoInstruction

| CairoFlags

| CairoTransition

| RangeCheck0

| RangeCheck1

| ForeignFieldAdd

| ForeignFieldMul

| Xor16

val equal : t -> t -> Ppx_deriving_runtime.bool

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val compare : t -> t -> int

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t