Column.T
type t =
| Witness of int |
| Index of Gate_type.t |
| Coefficient of int |
| LookupTable |
| LookupSorted of int |
| LookupAggreg |
| LookupKindIndex of Lookup_pattern.t |
| LookupRuntimeSelector |
| LookupRuntimeTable |
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 t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t